Nótese que f puede ser constante, en cuyo caso el intervalo f 0 (I) se reduce a un punto. En general, razonando por reducción al absurdo, supongamos que existen u,v ∈ f 0 (I), con u < v , y λ ∈]u,v[ tal que λ ∈/ f 0 (I). Considerando la función g : I → R definida por g(x) = f(x)−λx para todo x ∈ I, tenemos que g es derivable en I con g 0 (x) = f 0 (x)−λ para todo x
