Consider parallel lines cut by a transversal. Parallel lines q and s are cut by transversal r. On line q where it intersects line r, 4 angles are created. Labeled clockwise, from uppercase left: angle 1, angle 2, angle 4, angle 3. On line s where it intersects line r, 4 angles are created. Labeled clockwise, from uppercase left: angle 5, angle 6, angle 8, angle 7.
Explain which theorems, definitions, or combinations of both can be used to prove that alternate exterior angles are congruent.