What geometry theorem is dynamically being illustrated in the applet below?
(Feel free to move the larger white points anywhere you'd like.)
Theorem:
If ONE PAIR OF OPPOSITE SIDES of a quadrilateral is BOTH CONGRUENT AND PARALLEL, then that quadrilateral is a parallelogram.