למת הנזל – הבדלי גרסאות

: <math>\ f'(r) t = -f(r) / p^{k-1} \pmod{p}</math>.

 

 

אם <math>f'(r) \equiv 0 \pmod{p}</math> קל לראות שיש פתרון רק אם אגף ימין קונגרואנטי לאפס גם הוא, ואז זה מצב של <math>\ 0 \cdot t = 0</math> וכל t פתרון. אחרת, קל לראות שאין פתרון.