Hensel's lemma

Hensel's lemma is a fundamental result in number theory and algebra, particularly in the context of p-adic numbers. It provides a criterion for lifting solutions of polynomial equations modulo some power of a prime to solutions in the p-adic integers.