Возможно, имелась в виду теорема о дифференцировании обратной функции. 1 Она гласит, что для дифференцируемой функции с производной, отличной от нуля, производная обратной функции равна обратной величине производной данной функции в точке. 1

Другими словами, если существует производная функции по переменной x, то существует и производная обратной функции по переменной y. 3