Given that .
If the two lines in a plane are cut by a transversal so that a pair of alternate interior angles is congruent, then the lines are parallel.
\Since are the alternate interior angles and they are congruent.
Congruent alternate interior angles indicates parallel lines. So, .