Para un entero positivo $a$ , sea $S_{a}$ el conjunto de primos $p$ para los cuales existe un entero impar $b$ tal que $p$ divide a $(2^{2^{a}})^{b}-1.$ Demuestra que para cada $a$ existen infinitos primos que no están contenidos en $S_{a}$ .