Теорема. Пусть функция W = f(Z), отображающая множество E плоскости (Z) на область , имеет обратную функцию

Пусть функция W = f(Z), отображающая множество E плоскости (Z) на область , имеет обратную функцию , и пусть выполняются условия:

· функция W = f(Z) имеет в точке Z₀ производную ,

· функция непрерывна в точке ,

тогда обратная функция имеет в точке производную и эта производная равна .