Exterior angle property of triangle