G.CO.C.10: Prove theorems about polygons.