Let be two rays and let be a ray between and such that ∠AOX > ∠XOB.
Let be the bisector of ∠AOB. Prove that ∠AOX − ∠XOB = 2∠COX.