:Category:Theorems about polygons