GM:G-CO.C: Prove and apply geometric theorems.