Alternate exterior angles are a pair of angles formed when a transversal line crosses two coplanar lines,
with both angles outside the region between the crossed
lines and on opposite sides of the transversal.
If the two crossed lines are parallel
lines, each pair of alternate exterior angles is congruent.
Conversely, if a pair of alternate exterior angles is congruent,
the two crossed lines are parallel.
