Sei streng monoton und an einer Stelle mit differenzierbar. Ferner sei das Bild der Funktion. Dann ist in differenzierbar und es gilt: