Congruent alternate exterior angles