G.GCO.10e: A parallelograms is a rhombus if and only if the diagonals are perpendicular.