HS.G.7.b: (+) Construct formal proofs to justify theorems for parallelograms.