Differentiable functions/Mean value theorem/Fact