La construcción de los Enteros módulo formula_1.