This result can also be stated as "any subgroup of index 2 is normal", and in this form it applies also to infinite groups.
この結果は「指数 2 の任意の部分群は正規である」と述べることもでき、この形では無限群にも適用できる。