Show that if $f(x)=a_nx^n+\cdots a_1x+a_0$ with $a_i \in \mathbb{Z}$, then there is a positive integer $y$ such that $f(y)$ is composite.
To prove this, we suppose that $f(x)=p$. Then for $f(x+kp)$ we have $f(x)+Kp$ where $K$ is a constant. I'm stuck on a specific part of understanding this proof, why is it that since $p \mid f(x) \Rightarrow p \mid (f(x)+kP)$. I'm also stuck understanding why $f(x+kp)$ is necessarily also prime.