>>151
>>153
Archimedes付値に関する位相体R⊇R^{×}は通常の乗法・について可換だ。
また2∈R^{×}、1+2∈R^{×}であり、2(1+2)∈R^{×}から
2(1+2)∈Rであり、かつR^{×}は通常の乗法について閉じている。
よって、2(1+2)=(1+2)2だ。
というか、こんなことも解説しないと分からんのかよ…。
一般にa、b、c∈R、(或いはC)に対してa(b+c)=(b+c)aだぞ。