∡AOA+∡AOA≡∡AOA. Restar∡AOA de ambos lados, eso lo conseguimos∡AOA≡0. Por Axioma III,\(-\pi < \measured...∡AOA+∡AOA≡∡AOA. Restar∡AOA de ambos lados, eso lo conseguimos∡AOA≡0. Por Axioma III,−π<∡AOA≤π; por lo tanto∡AOA=0. Por Proposición\PageIndex1,∡AOA=0. ∡AOB≡−∡BOA.∡AOB+∡BOA≡∡AOA