>>162
前提なぞ無い。群でこの式が成り立つなら、だから、条件を満たす任意のx，y，zなのは、普通の理系なら理解できる。
>>163
詳しく。