Theorem 1: In a parallelogram, the opposite sides are of equal length.
Given: AB || CD, AD || BC
To prove: AB = CD, AD = BC
Draw in the diagonal AC