Prove geometric theorems (HSG.CO.C)