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