In a conjugate pair of reductant and oxidant, the reductant has:
Let be a ray and let and be two rays on the same side of , with between and . Let be the bisector of ∠AOB. Prove that ∠XOA + ∠XOB = 2∠XOC.