Prove logically the diagonals of a parallelogram bisect each other. Show conversely that a quadrilateral in which diagonals bisect each other is a parallelogram.