>>875
無造作にX^(-1)と書いてるがXは単射なのか
単純増加って一般的な数学用語かね
ｘに近づくってのは、ぴったりｘになることはないのか

左辺の元であれば右辺の元でもあることと、右辺の元であれば左辺の元でもあることを示せば厳密な証明だな