1) Vertical angles theorem
- Angles EOF and BOC are vertical angles.
2) Angle addition postulate
- Angles AOB and BOC add to form angle AOC.
3) Linear pair
- Angles that add to form a straight angl are a linear pair
4) Subtraction property of equality
- They subtracted angle AOC from both sides.