L'application est donc une bijection strictement croissante de
sur
D'après les théorèmes sur les fonctions réciproques, la
fonction
est continue sur
et dérivable
sur
Comme
on a
et
La relation
fournit donc
Il
en résulte que pour
on a