G.GCO.8: Prove, and apply in mathematical and real-world contexts, theorems about lines and angles, including the following: