C1 Empezamos 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$, permitiendo ahora 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. O determina el entero más negativo que puede aparecer en una lista, o demuestra que no existe tal mínimo.