>>779
最初の掛け算定義がお断りの代物なので
お断りの代物における交換則なんか問題外