Sea formula_180 el grupo de los números enteros.