Sum of interior angles in a triangle