In a square, the diagonals are congruent to each other