Angle sum property of a polygon