Sea "G" una función real, continua sobre un intervalo cerrado entre "a" y "x" y diferenciable con derivadas no nulas sobre el intervalo abierto entre "a" y "x", y la función que se define como