Differentiable functions/Mean value theorem/Fact/Proof