Hensel's Lemma

A lifting principle in p-adic and modular arithmetic that, under suitable derivative (nondegeneracy) conditions, allows a solution of a polynomial congruence modulo p^n to be lifted to a solution modulo higher powers p^{n+k}, ultimately giving a root in the p-adic integers.