Ako je
-linija ose
i tačka
na
, i ako se ugao
(koga sklapaju poluprava
i
-linija
) pomera najpre duž
pa zatim duž
i to oba puta do u
beskonačnost, putanja
tačke
biće
-linija ose
.
Jer neka je
ma koja tačka na
(koju ćemo
niže označiti sa
),
i
tačka
od
koja se nalazi na
. Tada će biti
a
, prema tome biće i
i
će se nalaziti na
. Ako je pak
na
i
, i
ako tačka
linije
pripada i pravoj
,
biće i
i
, iz čega očevidno
sleduje da je
, da
pada na putanju tačke
i da
se
i
poklapaju. Odnos jedne takve linije
sa
označićemo sa
.