A quadrilateral is a parallelogram if its diagonals bisect each other.

This needs to be proven in a two column proof