Ako pravu
ne seče prava
ali je seče svaka druga prava
koja se nalazi u uglu
, onda je
paralelna sa
, tj.
.
Lako je uvideti da postoji prava
, i to jedna jedina, koja prolazi kroz
tačku
(van prave
), i da
nije
. Jer ako se
bude kretala oko
dok ne postane
, nastupiće trenutak kada
neće više seći
, i tada će biti
.
Isto se tako lako uviđa da će biti
pa ma gde se tačka
nalazila na
(pretpostavljajući da je u svima takvim
slučajevima
).
Ako je, dok se tačka
na pravoj
udaljava u beskonačnost, uvek
, biće uvek i
(
). Kako pak
, to i
.