The classical Hensel's lemma is stated as follows: Let $f(x) \in \mathbb{Z}_p[x]$ and $a \in \mathbb{Z}_p$ satisfy $$ |f(a)|_p < | f'(a) |_p^2. $$ Then there is a unique $\alpha \in \mathbb{Z}_p$ such that $f(\alpha)=0$ and $|\alpha - a|_p < |f'(a)|_p$.

I would like to know an analogous statement for $f_1(x,y) \in \mathbb{Z}_p[x,y]$ and $f_2(x,y) \in \mathbb{Z}_p[x,y]$ such that I have $(\alpha_1, \alpha_2) \in \mathbb{Z}_p^2$ with $f_1(\alpha_1, \alpha_2) = f_2(\alpha_1, \alpha_2)=0$.

I have two questions regarding Hensel's lemma.

1) Is there a known statement for Hensel's lemma for situation like this where we consider more than one polynomial?

2) How does one deduce it for $f_1$ and $f_2$ as above from the classical Hensel's lemma?

Any comments, hints, references are greatly appreciated! Thank you very much!

PS Here $\mathbb{Z}_p$ is the $p$ adic integers and $| \cdot |_p$ is the $p$ adic norm.