Any parallelogram in which the diagonals are perpendicular bisectors of each other will be a square.
Prove that in a parallelogram with all four sides equal, the diagonals are perpendicular bisector of each other.