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 modo 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 del mismo y también invertimos el marcador más cercano a la derecha del mismo. Demuestra que, mediante una secuencia finita de tales pasos, se puede lograr un estado con solo dos marcadores restantes si y solo si $n - 1$ no es divisible por $3$.