Recordemos la operación formula_6 en los Enteros, que vimos en el