Alternate Interior Angles Theorem. For any two parallel lines cut by a transversal, the alternate interior angles are congruent.