Mathematics for Applied Sciences (Osnabrück 2023-2024)/Differentiable function/Mean value theorem/Quotient version/Fact/Factreferencenumber