§16

Ako je $am$ osa od $L$, u sistemu $\Sigma$ biće $L$ prava $ \begin{picture}(13.5,8.5) \put(2.5,0){\line(6,0){8.5}} \put(2.5,0){\line(0,6){8.5}} \end{picture} am$.

Jer neka je $bn$ u tačci $b$ na $L$ (takođe) osa od $L$, tada će u sistemu $\Sigma$ biti $bam + abn = 2bam = 2R$, prema tome biće $bam = R$. I ako je $c$ ma koja tačka prave $ab$ i $cp \mid\mid\mid am$, biće (po §-u 13) $cp \bumpeq am$, i $c$ će se prema tome nalaziti na $L$ (§ 11).

Ali u sistemu $S$ ne postoje tri tačke $a$, $b$, $c$, ni u $L$ ni u $F$ koje bi ležale u pravoj liniji.

Jer jedna od tri ose $am$, $bn$, $cp$ (npr. $am$) mora ležati između druge dve, te će (po §-u 14) kako $bam$ tako i $cam$ morati biti $<R$.