Opposite Sides Equal implies Parallelogram

Theorem
Let $ABCD$ be a convex quadrilateral with $AB = CD$ and $BC = AD$.

Then $ABCD$ is a parallelogram.

Proof
Join $AC$.

From $(7)$ and $(8)$, it follows by definition that $ABCD$ is a parallelogram.