HSG.CO.C: Prove geometric theorems