Stammfunktion/Umkehrfunktion/Fakt/Beweis

Beweis

Ableiten unter Verwendung von Fakt und Fakt ergibt

\begin{matrix} (y f^{- 1} (y) - F (f^{- 1} (y))) & = f^{- 1} (y) + y \frac{1}{f^{'} (f^{- 1} (y))} - f (f^{- 1} (y)) \frac{1}{f^{'} (f^{- 1} (y))} \\ = f^{- 1} (y) . \end{matrix}