(Ne fait plus partie du programme depuis 2012)

et sont deux fonctions dérivables sur telles que et soient continues sur . De telles fonctions sont des fonctions de classe . On a la relation suivante :