定理内容.设formula_1为整系数多项式，formula_2为不少于2的整数，formula_3为质数。若整数formula_4是下面同余式的根：对于，则有：
证明.Hensel引理可用泰勒公式证明。因此可见，由第三项开始，都必能被formula_15整除。因此：
推广.若formula_17为完备局域。设 formula_18为formula_17的整数环，设formula_1为系数在 formula_21的多