G.GCO.10d: Rectangles are parallelograms with congruent diagonals.