>>746
乗法の順番固定の根拠として良く持ち出されるから誤解しているのかも知れないが、
等分除と包含除は元々それとは全く違うよｗ

割り算の素朴な考え方が２種類あるというだけの話。抽象化しないで、割り算を素朴に
考えていくと、２種類の全く違うものの分け方が１つの式で表せるという不思議な現象。

それが等分除と包含除。片方はあまりが出るが、片方は基本的には出ない。