>>161
加算乗算において可換演算を否定してはならない

だけで十分だけど?