G.CO.C: Prove geometric theorems.