Alternate Angles Axiom

If two parallel lines are cut by a transversal, the alternate angles are equal.

and

These are two pairs of alternate angles.

Converse

A transversal intersects two lines. If the alternate angles are equal, then the lines are parallel.

If or then AB is parallel to CD.