>>371
このコメントがトンチンカン
微分が0でないから逆関数が存在するとかいうのは
単に被覆写像であることの確認に過ぎない
つまり必要条件であって十分条件ではない
以下、順序立てて説明する