Differentiable function/Mean value theorem/Quotient version/Fact/Proof

Proof

The statement

follows from fact. We consider the auxiliary function

We have

Therefore, , and fact yields the existence of some with

Rearranging proves the claim.