Original: The diagonals of a square are equal.
Simplified: The diagonals of a square also cross at right angles.