Angle sum property of a triangle