no vacío H determina un subgrupo de G, ssi.