Llamamos a un conjunto infinito $S\subseteq\mathbb{N}$ bueno si para todos los enteros distintos por pares $a,b,c\in S$, todos los divisores positivos de $\frac{a^c-b^c}{a-b}$ están en $S$. Para todos los enteros positivos $n>1$, demuestra que existe un conjunto bueno $S$ tal que $n \not \in S$.