>>918

>>852 はx↑yがwell definedじゃないです。つまり多価なので値を定義したことになってなくない?