7.3: Proving that a Quadrilateral is a Parallelogram