Ako je
, svakoj tačci
na
odgovaraće jedna tačka
na
tako da bude
.
Jer ako se (prema § 1) učini da je
i
,
će se nalaziti u
.
Stoga ako se
bude pokretalo duž
dok se
ne poklopi sa
,
moraće da
prođe kroz
i prema tome moraće da postoji
jedno
koje je
.