NC.M3.G-CO.11: Prove theorems about parallelograms.