Comenzamos con cualquier lista finita de enteros positivos distintos. Podemos reemplazar cualquier par $n, n + 1$ (no necesariamente adyacentes en la lista) por el único entero $n-2$ , ahora permitiendo negativos y repeticiones en la lista. También podemos reemplazar cualquier par $n, n + 4$ por $n - 1$ . Podemos repetir estas operaciones tantas veces como queramos. Determine el entero más negativo que puede aparecer en una lista, o demuestre que no existe tal mínimo.