>>857
乗法の交換則なんて大学の数学科だって証明しないで公理で扱うだろｗ
分配則の成立を仮定すれば直ぐに証明できるけど、何やら分配則に押しやっている感じ。