Implicite function theorem/Recall/Exercise