HS.G.7: Prove theorems about geometric figures. (MP.6, MP.7)