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 $\left({7}\right)$ and $\left({8}\right)$, it follows by definition that $ABCD$ is a parallelogram.