G.LA.7: Prove and apply theorems about lines and angles including: