З огляду на h-half-line[OP)h іα∈(−π,π], існує унікальна h-half-лінія[OQ)h така, що∡hPOQ=α. \(\measuredangle_h P O Q+\measuredangle_h Q O R \equiv\...З огляду на h-half-line[OP)h іα∈(−π,π], існує унікальна h-half-лінія[OQ)h така, що∡hPOQ=α. ∡hPOQ+∡hQOR≡∡hPOR. Оскільки∡hP′OR′=∡P′OR′ і карти(Q,P)↦P′,(Q,R)↦R′ є суцільними, то претензія випливає з відповідної аксіоми евклідової площини.
