If <1=<2"
Definition of congruence
Angle addition postulate
Linear Pair Theorem
Vertical Angles Theorem
