Complete the coordinate proof of the theorem.
Given: ABCD is a square.
Prove: The diagonals of ABCD are perpendicular.
