Proving a quadrilateral is a parallelogram