习题 11, § 2

令$P$是所有素数数的集合，$P'$是$P$和$f \in Z[(X_i)]$的无限子集。对于每个$p \in P'$，令$f_p$为应用到$\mathbf{Z}$的$f$典范同态到$\mathbf{Z}/p\mathbf{Z}$的系数获得的$(\mathbf{Z}/p\mathbf{Z})[(X_i)]$的元素。假设对于每个$p \in P'$和每个$x \in (\mathbf{Z}/p\mathbf{Z})'$我们有$f_p(x) = 0$；然后$f = 0$。