If two lines are parallel, then corresponding angles are congruent.