Entonces, H es un subgrupo normal de G.