Alternate interior angles are equal.
If two parallel lines are intersected by a transversal, then alternate interior angles are equal.