Sea $S\subsetneq\mathbb{Z}$ un conjunto infinito. ¿Siempre existe un primo $p$ tal que la cerradura de $S$ en los enteros $p$-ádicos, $\mathbb{Z}_p$, contiene un entero racional $n\notin S$?
O, en lenguaje elemental, ¿siempre existe un primo $p$ y $n\in \mathbb{Z}\setminus S$ tal que para todo $k$ existe un $s\in S$ tal que $p^k\mid n-s$?
