ヘンゼルとグレーテル。ℤₚをp進整数環とする。f(x)をℤₚ係数の多項式とする。 xₖ∊ℤₚが、f(xₖ)≡0(mod pᵏ), f'(xₖ)≢0(mod p) を満たしているとする。 このとき、あるxₖ₊₁∊ℤₚで、 xₖ≡xₖ₊₁(mod pᵏ), f'(xₖ₊₁)≢0(mod p), f(xₖ₊₁)≡0(mod pᵏ⁺¹) を満たすものが存在す…