How do you prove corresponding angles are equal?
Suppose you have two parallel lines cut by a transversal.
Due to the straight angle (linear pair) theorem, we know that
Thought the transitive property, we can say that
Though the alternate interior angles theorem, we know that
Use substitution in (1):