Hay $ n$ marcadores, cada uno con un lado blanco y el otro lado negro. Al principio, estos $ n$ marcadores están alineados en una fila de manera que sus lados blancos están todos hacia arriba. En cada paso, si es posible, elegimos un marcador cuyo lado blanco esté hacia arriba (pero no uno de los marcadores más externos), lo quitamos e invertimos el marcador más cercano a la izquierda y también invertimos el marcador más cercano a la derecha. Demostrar que, mediante una secuencia finita de tales pasos, se puede lograr un estado con sólo dos marcadores restantes si y sólo si $ n - 1$ no es divisible por $ 3$ .