G.GCO.10a: Opposite sides of a parallelogram are congruent.