Angle sum property of a triangle.