What is the reason for statement 7 of the two column proof?
1. Angle addition postulate 2. Ruler postulate
3. Angle congruence postulate
4. Linear pair postulate
