If two lines are cut by a transversal and alternate interior angles are congruent, then the lines are parallel.