Ok, so
Given the figure:
Given that:
[tex]p\mleft\Vert q\mright?[/tex]If parallel lines are cut by a transversal, then their corresponding angles are congruent. So we have that:
[tex]\angle a\cong\angle b[/tex]Then, if two angles are vertical angles, then they are congruent. So,
[tex]\angle b\cong\angle c[/tex]Now, by transitive property, if two angles are congruent to the same angle, then they are congruent. Then,
[tex]\angle a\cong\angle c[/tex]Hance proved, the alternate exterior angles theorem.