4 Sea $P(x)$ un polinomio con coeficientes enteros. Denotaremos el conjunto de todos los números primos por $\mathbb P$ . Demuestre que el conjunto $\mathbb S := \{p\in\mathbb P : \exists\text{ }n \text{ s.t. }p\mid P(n)\}$ es finito si y solo si $P(x)$ es un polinomio constante no nulo.