Considere una franja infinita, dividida en cuadrados unitarios. Se coloca un número finito de fichas en algunos de estos cuadrados. En un paso, elegimos un cuadrado $A$ que tiene más de una ficha, tomamos una de ellas y la ponemos en el cuadrado de la derecha, y tomamos otra ficha (de $A$ ) y la ponemos en el cuadrado de la izquierda. El procedimiento termina cuando todos los cuadrados tienen a lo sumo una ficha. Demuestre que, dada la configuración inicial, cualquier procedimiento que se tome terminará después del mismo número de pasos y con la misma configuración final.