Proving the diagonals of a parallelogram bisect each other