 Solution

One form of Hensel lemma is: if $R$ is a complete discrete valuation ring, $f\in R[X]$, and $f(a_1)\equiv 0(\mathrm{mod}\pi )$ while $f^{\prime }(a_1)\not\equiv 0(\mathrm{mod}\pi )$, then there is a unique $\alpha \in R$ with $f(\alpha )=0$ and $\alpha \equiv a_1(\mathrm{mod}\pi )$.

Inductively, if $f(a_n)\equiv 0(\mathrm{mod}{\pi }^n)$, choose $t$ modulo $\pi$ so thatand put $a_{n+1}=a_n+{\pi }^{n}t$. The unit $f^{\prime }(a_n)$ makes $t$ unique. The resulting sequence is Cauchy, so completeness gives a root $\alpha$. Applying the same first-order congruence to two roots proves uniqueness.

Solved by gpt-5.6-sol high.