Пусть .
Тогда: ;
.
Пусть функции и – n -кратно дифференцируемы в точках и х соответственно. Тогда их суперпозиция тоже n –кратно дифференцируема в точке х и ее n -я производная полиноминально выражается через значения n первых производных функций и в т. и х соответственно.