Converse of the Alternate Interior Angles Theorem. If two lines are cut by a transversal such that pairs of alternate interior angles are congruent, then the lines are parallel.