如果正整数m>2，设所有满足1≤t≤m且与m互素的正整数t分别是t₁, t₂, …, t(k)，k=φ(m)，关于x的k次整系数多项式f(x) = (x-t₁)(x-t₂)…(x-t(k))
⑴ 若p是m的一个奇素因子且p^a ℓℓ m，则
f(x) ≡ (x^(p-1)-1)^(k/(p-1)) (mod p^a)
⑵ 若m是偶数且2^a ℓℓ m，则
f(x) ≡ (x²-1)^(k/2) (mod 2^a)
这两个同余号都是指多项式同余
⑴ 若p是m的一个奇素因子且p^a ℓℓ m，则
f(x) ≡ (x^(p-1)-1)^(k/(p-1)) (mod p^a)
⑵ 若m是偶数且2^a ℓℓ m，则
f(x) ≡ (x²-1)^(k/2) (mod 2^a)
这两个同余号都是指多项式同余
