设p是素数，k是正整数，f(x)是一个关于x的整系数多项式，f'(x)是f(x)的(形式)导函数多项式，如果整数n满足f(n)≡0(mod p^k)
⑴ 若(f'(n), p)=1，则恰有一类m (mod p^(k+1))使m≡n(mod p^k) 且 f(m)≡0(mod p^(k+1))
⑵ 若p ℓ f'(n) 且 f(n)≠0 (mod p^(k+1))，则不存在m (mod p^(k+1)) 使m≡n(mod p^k) 且 f(m)≡0(mod p^(k+1))
⑶ 若p ℓ f'(n) 且 f(n)≡0(mod p^(k+1))，则所有满足m≡n(mod p^k) 的剩余类m (mod p^(k+1))，都满足f(m)≡0 (mod p^(k+1))
⑴ 若(f'(n), p)=1，则恰有一类m (mod p^(k+1))使m≡n(mod p^k) 且 f(m)≡0(mod p^(k+1))
⑵ 若p ℓ f'(n) 且 f(n)≠0 (mod p^(k+1))，则不存在m (mod p^(k+1)) 使m≡n(mod p^k) 且 f(m)≡0(mod p^(k+1))
⑶ 若p ℓ f'(n) 且 f(n)≡0(mod p^(k+1))，则所有满足m≡n(mod p^k) 的剩余类m (mod p^(k+1))，都满足f(m)≡0 (mod p^(k+1))
达瓦里希
