Let \(p\) be a prime integer, and set \(f(x)=x^{p-1}+x^{p-2}+\cdots +x+1\). Suppose a prime integer \(q\) divides \(f(a)\) for some integer \(a\), prove that either \(q=p\) or \(q\equiv 1\bmod p\).
Use this to prove that the arithmetic sequence \(1,1+p,1+2p,\ldots \) contains infinitely many prime integers.