My question is if Hensel's lemma is an if and only if. THis is for polynomial congruences. For instance, if there are no solutions to $\displaystyle x^2=a(mod p) $, do I get to conclude that there are no solutions to $\displaystyle x^2=a(mod p^2)$, and so on?