< > とする．このとき (1) < > (2) < >はを含むの最小の部分群 である． (証明の方針) (1)について < >より< >の元はすべて群に属するので，< >はの演算に関して群を成す．したがって< > である． (2)について をを含むとする．このとき < > ☆ を示す．条件…

とする． (1) のとき (2) のとき (証明の方針) (1)について (⇒) を仮定する．の条件よりであるから と書ける．それゆえ が成立する． (⇐) を仮定する．条件よりはの演算に関して群を成すので，の単位元をがもつ． (2)について (2)も(1)と同様の理由で示され…