Нигде не нашел
Где вы искали? Откройте первый том "Основ математического анализа" Илина и Позняка на пятнадцатой главе — она вся посвящена теории неявных функций.
Там рассказывается, что если

дифференцируема в точке, то из

можно "выдрать"

, и

будет дифференцируема. Формулы там жуткие. Я их перепечатаю, только если вы их сами раздобыть не сможете.
Хотя ладно, надо в

тренироваться...

