1) Vertical angles theorem
2) Angle addition postulate
3) Linear pair
4) Subtraction property of equality