Darboux's theorem. Let IRI\subseteq\mathbb R be an , and let f:IRf: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 ff' behaves like a function satisfying the , even though ff' need not be a and may have .