Sea $S$ un conjunto infinito de enteros positivos y defina: $T=\{ x+y|x,y \in S , x \neq y \} $ Suponga que solo hay primos finitos $p$ de manera que: 1 . $p \equiv 1 \pmod 4$ 2. Existe un entero positivo $s$ de manera que $p|s,s \in T$ . Demuestre que hay infinitos primos que dividen al menos un término de $S$ .