Sea $A$ un subconjunto infinito de $\mathbb{N}$ , y $n$ un entero fijo. Para cualquier primo $p$ que no divide a $n$ , hay infinitos elementos de $A$ no divisibles por $p$ . Demuestre que para cualquier entero $m >1, (m,n) =1$ , existen finitamente muchos elementos de $A$ , tales que su suma es congruente a 1 módulo $m$ y congruente a 0 módulo $n$ .