What is it?
The mean value theorem for two functions at once — for a parametric curve . It is the lemma from which L'Hôpital's rule follows.
Statement
.
Idea of the proof
Apply Rolle to , which takes the same value at and .
Where is it used?
Computing topics reachable from here, through the chain of ideas that leads to them: