$S$ es un subconjunto de números naturales que tiene infinitos miembros. $$S'=\left\{x^y+y^x: \, x,y\in S, \, x\neq y\right\}$$ Pruebe que el conjunto de divisores primos de $S'$ también tiene infinitos miembros.