If two lines are parallel, then alternate interior angles are congruent.