G.G-CO.C: Prove geometric theorems.