G-CO.C: Prove geometric theorems