Alternate exterior angles congruent.
Which angle forms a pair of alternate
exterior angles with angle 1?
