A for more general theorem is the "non-archimedean inverse function theorem". I haven't looked at Ribenboim's reference, so maybe he is mentioning it. But it is something which I didn't really find in the standard number theory textbooks - probably you can find it in all texts on $p$-adic analysis - and I learned it from my number theory professor last semester (Jean-Benoît Bost). This theorem is very powerful - and I find it fascinating - and all versions of Hensel's lemma are immediate consequences.

Let $K$ be a field, $\left| \cdot \right|$ a non-archimedean absolute value on $K$, $\mathcal{O}$ the associated valuation ring, $\mathcal{M}$ the maximal ideal, $\pi$ a uniformizer. Let $\Phi_i \in \mathcal{O}[X_1,\,\cdots,X_n]$ for $1 \leq i \leq n$ and consider the map $\Phi = (\Phi_1,\,\cdots,\Phi_n) : \mathcal{O}^n \to \mathcal{O}^n$. Let $J$ be the Jacobian $\det(\partial \Phi_i / \partial X_j) \in \mathcal{O}[X_1,\,\cdots,X_n]$.

**Theorem.** If $x_0 \in \mathcal{O}^n$, $y_0 = \Phi(x_0)$ and $J(x_0) \neq 0$, then for any $R \in (0, \left|J(x_0)\right|)$ $\Phi$ induces a bijection $$\overline{B}(x_0,R) \to y_0 + (D\Phi)(x_0) \overline{B}(0,R)$$ (where $D\Phi$ is the derivative we all know!) and furthermore we have a bijection $$B^\circ(x_0,\left|J(x_0)\right| \to y_0 + (D\Phi)(x_0) B^\circ(0,\left|J(x_0)\right|).$$

(I use the standard notations $\overline{B}$ and $B^\circ$ for closed and open balls respectively.)

**Corollary 1.** Take $n = 1$, $\Phi_1 = P$, $x_0 = \alpha$, $\varepsilon \in (0,1)$. Suppose that $\left|P(\alpha)\right| \leq \varepsilon \left|P'(\alpha)\right|^2$. Then there exists a unique $\beta \in \mathcal{O}$ such that $P(\beta) = 0$ and $\left|\beta - \alpha\right| \leq \varepsilon \left|P'(\alpha)\right|$. (We take $R = \varepsilon \left|P'(\alpha)\right|$ in the first bijection.) 

Hence, as a special case, if $\left|P(\alpha)\right| < \left|P'(\alpha)\right|^2$, we find $\left|\beta - \alpha\right| < \left|P'(\alpha)\right|$.

As an even more special case, if $P'(\alpha) \in \mathcal{O}^\times$ and $\left|P'(\alpha)\right| <1$, there exists $\beta \in \mathcal{O}$ such that $P(\beta) = 0$ and $\left|\beta - \alpha\right| < 1$. Restating this in terms of the residue field: a simple zero in the residue field can be lifted to a real zero in $\mathcal{O}$. This is the really known version of Hensel's lemma, I guess.

[Definition: the Gauss norm of a polynomial with coefficients in $K$ is defined as the maximum of the absolute values of its coefficients. It is very easy to check that the Gauss norm is multiplicative.]

**Corollary 2.** Take $f,g,h \in \mathcal{O}[X]$ such that $\deg g = n$, $\deg h = m$ and $\deg f = \deg g + \deg h = n + m$. Assume that there exists $\varepsilon \in (0,1)$ such that $\left\|f - gh\right\|_{\text{Gauss}} \leq \varepsilon\left|\text{Res}_{n,m}(g,h)\right|^2$ and $\deg(f - gh) \leq m + n - 1$. Then there exist $G, H \in \mathcal{O}[X]$ such that $f = GH$, $\deg(G - g) \leq n - 1$, $\deg(H - h) \leq m - 1$, $\left\|G - g\right\|_{\text{Gauss}} \leq \varepsilon \left|\text{Res}_{n,m}(g,h)\right|$ and $\left\|H - h\right\|_{\text{Gauss}} \leq \varepsilon \left|\text{Res}_{n,m}(g,h)\right|$.