Varios enteros positivos están escritos en una fila. Iterativamente, Alicia elige dos números adyacentes $x$ e $y$ tales que $x>y$ y $x$ está a la izquierda de $y$ , y reemplaza el par $(x,y)$ por $(y+1,x)$ o $(x-1,x)$ . Demuestra que solo puede realizar un número finito de tales iteraciones.