>>179
陰関数定理ですね