Vertical Angles: Theorem and Proof
Theorem: In a pair of intersecting lines the vertically opposite angles are equal. It can be seen that ray \overline{OA} stands on the line \overleftrightarrow{CD} and according to Linear Pair Axiom, if a ray stands on a line, then the adjacent angles form a linear pair of angles.