Ako je
,
i
, biće u
sistemu
:
Jer ako je
i
(prema
tome
) i
, postojaće
(§ 19)
, tako da je
, prema tome (§ 1) i
.
Ako je dalje
, biće (§ 7)
, prema tome (§ 6)
i (pošto je
)
. Dakle je (§ 1)
.
Neka je
-linija ose
i neka su
,
,
i
-linije osa
,
,
i
. Tada će biti očevidno
(§ 22)
i
. Tako isto
jasno je da je
. Ali kako je
,
sa čega je
,
to će biti (§ 24)
. Naposletku imaćemo (§ 28):