4 Un subconjunto $A$ de los números naturales $\mathbb{N} = \{0, 1, 2,\dots\}$ se llama bueno si todo entero $n>0$ tiene a lo sumo un divisor primo $p$ tal que $n-p\in A$. (a) Demuestre que el conjunto $S = \{0, 1, 4, 9,\dots\}$ de los cuadrados perfectos es bueno. (b) Encuentre un conjunto bueno infinito disjunto de $S$. (Dos conjuntos son disjuntos si no tienen elementos en común.)