RE: implicit function theorem