>>521
>掛け算の筆算はどんな数でも正しいという仮定

仮定ではなく定理だがね。

ところで交換則以上に無視されるのが結合則
(5+5)+5=5+(5+5)
も自明ではないw