G.GCO.10: Prove, and apply in mathematical and real-world contexts, theorems about parallelograms, including the following: