>>637
群は一般的に可換でないが、>>621 は
与えられたものでなく、自分で定義するのだから、
[(りんご)個] と [(皿)枚] が生成する可換群を G
と定義しておけば済む。

[個・枚^-1]×[枚] と [枚]×[個・枚^-1] が
イコールかどうか？を不安視することが無意味で、
それをイコールと定めた群を使うだけの話だ。