ぶっちゃけ多変数に関しては順番がおかしいと思うわ
逆関数定理とか陰関数定理は多様体やってからでいいじゃん？