En el caso de los Enteros como formula_23 y formula_40 son los únicos asociados con formula_2 podemos, usando el orden, escoger el positivo.