Suponga que $S\subseteq \mathbb Z$ tiene la siguiente propiedad: si $a,b\in S$ , entonces $a+b\in S$ . Además, sabemos que $S$ tiene al menos un elemento negativo y un elemento positivo. ¿Es cierta la siguiente afirmación? Existe un entero $d$ tal que para cada $x\in \mathbb Z$ , $x\in S$ si y sólo si $d|x$ .