Angles, polygons, and geometrical proof