Notemos que gHg ←⇒ gH = gHgg ⊂ <G, ssi, gH ⊂ Hg.