如果 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)} 個解。
(未完)