Дифференцирование обратной функции

Т°.Если функция непрерывна и строго монотонна в некоторой окрестности точки и существует производная этой функции в т. не равная нулю, то в некоторой окрестности точки определена обратная функция - непрерывная, строго монотонная и имеющая производную в точке , причем:

▲ .