Differentiable function/Mean value theorem/Quotient version/Fact