Lema de Hensel

Un principio de elevación en aritmética p-ádica y modular que, bajo condiciones adecuadas de la derivada (no degeneración), permite que una solución de una congruencia polinómica módulo p^n se eleve a una solución módulo potencias superiores p^{n+k}, dando finalmente una raíz en los enteros p-ádicos.