Dragos, el antiguo gobernante de Moldavia, y María la Oráculo juegan el siguiente juego. En primer lugar, María elige un conjunto $S$ de números primos. Luego Dragos da una secuencia infinita $x_1, x_2, ...$ de enteros positivos distintos. Luego María elige un entero positivo $M$ y un número primo $p$ de su conjunto $S$. Finalmente, Dragos elige un entero positivo $N$ y el juego termina. Dragos gana si y solo si para todos los enteros $n \ge N$ el número $x_n$ es divisible por $p^M$; de lo contrario, María gana. ¿Quién tiene una estrategia ganadora si el conjunto S debe ser: a ) finito; b ) infinito?