Answer:
2) Consecutive angles theorem
3) Vertical angles theorem
4) Substitution (Substituting angle one for angle five since they are congruent or equal)