∡AOA=0для будь-якогоA≠O. ∡AOA+∡AOA≡∡AOA. Віднімаємо∡AOA з обох сторін, отримуємо, що\(\measuredangl...∡AOA=0для будь-якогоA≠O. ∡AOA+∡AOA≡∡AOA. Віднімаємо∡AOA з обох сторін, отримуємо, що∡AOA≡0. За аксіомою III−π<∡AOA≤π; отже∡AOA=0. За пропозицією\PageIndex1,∡AOA=0. ∡AOB≡−∡BOA.∡AOB+∡BOA≡∡AOA