Em geral, se numa dada posição se diz “brancas jogam e dão mate em N lances” e, a partir desta posição, avança-se um lance branco e um lance negro (ambos os melhores e mais exatos possíveis), chega-se numa nova posição onde se poderia dizer “brancas jogam e dão mate em N-1 lances”.
Agora, se retrocedêssemos um lance branco e um lance negro (suponha-se nesse caso que seja um lance único) e um lance branco (também se supondo que seja único), seria obtida uma posição em que se diria “brancas jogam e dão mate em N + 1 lances”.
Será que isso é verdade para todas as posições do xadrez nas quais há mate forçado em N lances brancos?
Vamos pensar a respeito…