Ako je
, postojaće na
jedna takva tačka
da će biti
.
Jer (po § 1) postojaće
, i, ako je
, biće
i
. Ako tačku
budemo kretali duž duži
, označavajući neprestano ugao
sa
a ugao
sa
, biće
očevidno najpre manje pa zatim veće od odgovarajućeg
. Jer
raste neprekidno od
do
, a (po §-u 4)
nema nijednog ugla
i
s kojim se ugao
ne bi
poklopio. Tako isto i
opada neprekodno od
do
. Prema
tome, postojaće na
jedna takva tačka
da će biti
.