如果 p {\displaystyle p} 是一个质数， x ∈ Z / p Z {\displaystyle x\in \mathbb {Z} /p\mathbb {Z} } ，并且 f ( x ) ∈ Z [ x ] {\displaystyle f(x)\in {\mathbb {Z} [x]}} 是一个具有整数系数的多项式，那么要么
f ( x ) {\displaystyle f(x)} 的每个系数都可被 p {\displaystyle p} 整除，
或者
f ( x ) ≡ 0 ( mod p ) {\displaystyle f(x)\equiv 0{\pmod {p}}} 最多有 deg f ( x ) {\displaystyle \deg f(x)} 个解。
其中 deg f ( x ) {\displaystyle \deg f(x)} 是 f ( x ) {\displaystyle f(x)} 的次数。如果模数不是质数，那么可能存在超过 deg f ( x ) {\displaystyle \deg f(x)} 个解。
(未完)
![{\displaystyle f(x)\in {\mathbb {Z} [x]}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/eaa5479f82943b5068a55d60f91e939d778c4bf4)
