El núcleo de formula_10 es un subgrupo normal de "G".