知ってるよん♪
陰函数定理は、多項関係（英語版）を多変数函数（特に実多変数函数（英語版））に読み替えることを可能にする基本的な道具である。