Polygon exterior angle sum theorem