Alice elige un número primo $p > 2$ y luego Bob elige un entero positivo $n_0$. Alice, en el primer movimiento, elige un entero $n_1 > n_0$ y calcula la expresión $s_1 = n_0^{n_1} + n_1^{n_0}$; luego Bob, en el segundo movimiento, elige un entero $n_2 > n_1$ y calcula la expresión $s_2 = n_1^{n_2} + n_2^{n_1}$; etc. uno por uno. (Cada jugador conoce los números elegidos por el otro en los movimientos anteriores). El ganador es el que primero elige el número $n_k$ tal que $p$ divide a $s_k(s_1 + 2s_2 + · · · + ks_k)$. ¿Quién tiene una estrategia ganadora?