>>221
>ｃとは交換可能の理由および最後の一行の変形良く解りません。

Ｃの定義がわかる？
つまり、Ｂの中でＧの各々の要素を動かさないものをＣとする。
このことの意味がわかる？