Este resultado se puede enunciar como "todo subgrupo de índice 2 es normal", y en esta forma vale también para grupos infinitos.