Следующая теорема дает дифференциал обратной функции.