Observamos inicialmente que em qualquer quadradinho, quando o número de trocas de cor é um múltiplo de 3, voltamos à cor original. Assim, para saber, em qualquer momento, qual a cor de um quadradinho, basta conhecer o resto na divisão por 3 do número de trocas de cor. Para isso, identificamos cada quadradinho cinza com o número 0 (o que significa que o número de trocas de cor tem resto 0 na divisão por 3, ou seja, a cor pode não ter sido trocada ou foi trocada em um número múltiplo de 3); identificamos um quadradinho azul com o número 1 (o que significa que o número de trocas de cor tem resto 1 na divisão por 3); e, finalmente, identificamos um quadradinho amarelo com o número 2 (o número de trocas de cor tem resto 2 na divisão por 3).
Observamos agora que, sempre que trocamos a cor de um quadradinho da primeira ou da terceira coluna, trocamos também a cor do quadradinho a seu lado na coluna do meio. Portanto, a soma do número de trocas de cores dos quadradinhos de uma mesma linha, que estão na primeira e terceira colunas, é igual ao número de trocas de cor do quadradinho da coluna do meio que está nesta mesma linha. Em particular, o resto da divisão do número de trocas de um quadradinho da coluna do meio por 3 é igual ao resto da divisão por 3 da soma dos restos das divisões por 3 do número de trocas de cores dos quadradinhos vizinhos que estão na primeira e na terceira coluna da mesma linha. Comentário análogo vale para os quadradinhos da linha do meio. Essas observações nos permitem reconstruir o quadriculado completo, conforme a figura abaixo.

O problema não acaba aqui, pois ainda não mostramos que esse quadriculado pode, de fato, ser obtido por uma sequência de Adão. Que isso de fato acontece pode ser visto abaixo.


