>>331
>分配則や逆元を考えるのは二項演算「+」、「・(×)」が両方定義された後の話だ。
ほう？
で、乗法の定義は？
まさか二項演算「+」を使わない定義なんだろうな?ｗ