设 $f(x)$ 在 $(a, b)$ 上不是常数（函数），则存在 $x_0 \in(a, b)$ 以及 $D>0$ ，使得对任意的 $\delta>0$ ，存在 $x^{\prime}, x^{\prime \prime} \in\left(x_0-\delta, x_0+\delta\right) \cap(a, b)$ ，有

$$
\left|\left[f\left(x^{\prime}\right)-f\left(x^{\prime \prime}\right)\right] /\left(x^{\prime}-x^{\prime \prime}\right)\right| \geqslant l .
$$