ただ、仮に
ab＞÷
ではなく
ab≦÷
だったりすると、例えば途中から「6÷ab」を「6÷a×b」の如く切り離すことが出来たりすると、
6÷2(1+2)=6÷2×(1+2)=9の如きことがいえて、厳密な群論で考えると結論は異なってくる。
だから、一応「6÷2(1+2)=1」は単なる御約束だ。そう仮定したに過ぎない。