Implicit function theorem

ウィキペディアから