Consideremos el semigrupo multiplicativo de los Enteros módulo formula_1 no nulos,