Hay $n$ lámparas $L_1, L_2, \dots, L_n$ dispuestas en un círculo en ese orden. En cualquier momento dado, cada lámpara está encendida o apagada. Cada segundo, cada lámpara experimenta un cambio según la siguiente regla: (a) Para cada lámpara $L_i$ , si $L_{i-1}, L_i, L_{i+1}$ tienen el mismo estado en el segundo anterior, entonces $L_i$ está apagada ahora mismo. (Índices tomados mod $n$ . ) (b) De lo contrario, $L_i$ está encendida ahora mismo. Inicialmente, todas las lámparas están apagadas, excepto $L_1$ que está encendida. Demuestra que para infinitos enteros $n$ todas las lámparas se apagarán eventualmente, después de una cantidad finita de tiempo.