证明/推翻：

$f(x)$ 为关于 $x$ 的整系数多项式，且 $\forall x,y\in \mathbb Z,f(x)\neq y^2$，则 $\exists p\in \mathbb N^+,\forall x,y\in \mathbb Z,p\nmid f(x)-y^2$。