Iz tačke
povlači se
na sledeći način.
Iz
neka se spusti
; neka se iz makoje tačke prave
podigne
(u
), i spusti
. Tada će biti (§ 2)
, ako se pretpostavi da je
.
Ali
nije
, i
nije
. Prema tome kvadrant opisan iz središta
u
poluprečnikom koji
, imaće sa
ili zajedničku tačku
ili tačku
. U prvom slučaju biće očevidno
. U drugom slučaju pak biće (§ 25)
Ako se dakle napravi
, biće
.