Recordemos la construcción de los Enteros módulo formula_1.