Exterior angle property of a triangle