G.CO.C.8: Prove theorems about lines and angles.