結果 : implicit function theorem for manifolds