H < G ⇐⇒ HH ⊂ H y H ⇐⇒ HH ⊂ H.