Darboux's theorem. Let I⊆RI\subseteq\mathbb R be an , and let f:I→Rf:I\to\mathbb R be differentiable. If a<ba<b lie in the interior of II and yy lies between f′(a)f'(a) and f′(b)f'(b), then there is c∈(a,b)c\in(a,b) such that

f′(c)=y.f'(c)=y.

Thus f′f' behaves like a function satisfying the , even though f′f' need not be a and may have .