GEO-G.CO.9: Prove and apply theorems about lines and angles.