Angle sum in a triangle