Condi?ia
implic?
. Cum func?ia admite primitive, are proprietatea lui Darboux ?i, prin urmare, e constant?. Atunci exista
astfel ca
.
Din definitia functiei deducem
, iar din inegalitatea data,
.
A?adar,
.
Observatie: mai general, daca
unde
e o multime care nu contine intervale si
are proprietatea lui Darboux, atunci e constant?