1) given
2) given
3) Definition of linear pair
4) If alternate interior angles are congruent, then the lines are parallel.