eを元としてもつ。したがって、G(α₁,α₂,…,α(t)はGの部分群である。定理の後半の主張は明らかである。 (証明終) 無限と有限のあいだ http://t.co/sXvDEqWVm5