A subset $A$ of the natural numbers $\mathbb{N} = \{0, 1, 2,\dots\}$ is called [i]good[/i] if every integer $n>0$ has at most one prime divisor $p$ such that $n-p\in A$.
(a) Show that the set $S = \{0, 1, 4, 9,\dots\}$ of perfect squares is good.
(b) Find an infinite good set disjoint from $S$.  (Two sets are [i]disjoint[/i] if they have no common elements.)
### Part (a)
We need to show that the set \( S = \{0, 1, 4, 9, \dots\} \) of perfect squares is good. 

1. Assume for contradiction that \( S \) is not good. This means there exists some integer \( n > 0 \) with at least two distinct prime divisors \( p \) and \( q \) such that both \( n - p \) and \( n - q \) are perfect squares.
2. Let \( n = pqk \) for some integer \( k \). Suppose \( n - p = a^2 \) and \( n - q = b^2 \) for some integers \( a \) and \( b \).
3. Subtract the two equations:
   \[
   (n - p) - (n - q) = a^2 - b^2
   \]
   Simplifying, we get:
   \[
   q - p = b^2 - a^2 = (b - a)(b + a)
   \]
4. Since \( p \) and \( q \) are distinct primes, \( q - p \) is non-zero and must be an integer. Therefore, \( (b - a)(b + a) \) must equal \( q - p \).
5. Note that \( q \mid b^2 \) and \( p \mid a^2 \). Since \( q \) and \( p \) are primes, \( q \mid b \) and \( p \mid a \). Thus, \( b \) and \( a \) must be multiples of \( q \) and \( p \) respectively.
6. This implies \( b + a \geq p + q \), which contradicts the fact that \( b + a \mid q - p \) and \( q \neq p \). Therefore, our assumption that \( S \) is not good must be false.

Hence, the set \( S \) of perfect squares is good. \(\blacksquare\)

### Part (b)
We need to find an infinite good set disjoint from \( S \).

1. Consider the set \( T \) of all prime numbers. We claim that \( T \) is a good set.
2. For any integer \( n > 0 \), suppose \( n - p \in T \) for some prime \( p \). This means \( n - p \) is a prime number.
3. If \( n \) has a prime divisor \( q \) such that \( n - q \in T \), then \( n - q \) is also a prime number.
4. Since \( n - p \) and \( n - q \) are both primes, and \( p \) and \( q \) are distinct primes, it follows that \( n \) must be of the form \( 2p \) or \( 2q \) for some prime \( p \) or \( q \).
5. In this case, \( n \) has only one prime divisor such that \( n - p \in T \).

Therefore, the set \( T \) of all prime numbers is an infinite good set disjoint from \( S \). \(\blacksquare\)

The final answer is \( \boxed{ T } \) (the set of all prime numbers).