Write a formal proof for the following theorem: If two sides of
a quadrilateral are both congruent and parallel, then the
quadrilateral is a parallelogram.