Es sei ${\displaystyle {}f\colon [a,b]\rightarrow [c,d]}$ eine bijektive differenzierbare Funktion und es sei ${\displaystyle {}F}$ eine Stammfunktion von ${\displaystyle {}f}$.

Dann ist

eine Stammfunktion der Umkehrfunktion ${\displaystyle {}f^{-1}}$.