Si denotamos por formula_6 el subgrupo formado por los múltiplos de formula_1, tenemos que formula_3, ssi, formula_4 está en formula_6.