También, ya que la condición de que la función "f" sea "k" veces diferenciable en un punto requiere diferenciabilidad de orden "k"−1 en un entorno de dicho punto (esto es así, porque la diferenciabilidad requiere una función definida en un entorno del punto), el numerador y sus "k" − 2 derivadas son diferenciables en un entorno de "a".