 Hensel lemma

For a complete discrete valuation ring $R$, a simple root of a polynomial modulo the maximal ideal lifts uniquely to a root in $R$.