En cada casilla de un tablero de $n\times n$ hay un foco. Inicialmente todos los focos están apagados. En un paso, se permite cambiar el estado de todos los focos en una fila o de todos los focos en una columna (los focos prendidos se apagan y los focos apagados se prenden). Muestra que si después de cierta cantidad de pasos hay uno o más focos prendidos entonces en ese momento hay al menos $n$ focos prendidos.