Theorems
A. Vertically Opposite Angles Theorem:
When two straight lines $AB$ and $CD$ intersect at a common point $O$, they form four angles. The pairs of opposite non-adjacent angles are called Vertically Opposite Angles:
$$\mathbf{\angle AOC = \angle BOD} \quad \text{and} \quad \mathbf{\angle AOD = \angle BOC}$$
B. Formal Geometric Proof:
Ray $OA$ stands on straight line $CD$. By the Linear Pair Axiom:
$$\angle AOC + \angle AOD = 180^\circ \quad \text{--- (1)}$$
Ray $OD$ stands on straight line $AB$. By the Linear Pair Axiom:
$$\angle AOD + \angle BOD = 180^\circ \quad \text{--- (2)}$$
Equating (1) and (2):
$$\angle AOC + \angle AOD = \angle AOD + \angle BOD$$
Subtracting $\angle AOD$ from both sides:
$$\mathbf{\angle AOC = \angle BOD} \quad \text{(Hence Proved!)}$$