HS.G.4.f: Prove and apply geometric theorems about quadrilaterals using deductive reasoning.