Demostrar que si $p$ es un primer y $\gcd(n_1,...,n_p)=d$, entonces $$\dfrac{(\sum_{k=1}^px^{n_k})-p}{x^d-1}$$ is irreducible in $ \mathbb{Z}[X]$.
Todo lo que puedo hacer es escribir el numerador como $\sum(x^{n_k}-1)$ para probarlo es en $\mathbb{Z}[X]$ al hacer la factorización, pero no tengo ni idea en este ejemplo cómo se utiliza "p es primer" después de la factorización. ¿Alguien me da una pista?