cumple que xH = Hx son los subgrupos normales introducidos arriba, ya que