Diagonals of a Square are Perpendicular Bisectors of Each Other