NC.M3.G-CO.11d: If the diagonals of a parallelogram are congruent, then the parallelogram is a rectangle.