Hensel's Lemma/P-adic Integers/Lemma 7

Theorem
Let $\Z_p$ be the $p$-adic integers for some prime $p$.

Let $T$ be the set of $p$-adic digits.

Let $k \in \N_{>0}$.

Then:
 * $x \in \Z_p \implies \exists y \in T : y p^k \equiv x p^k \pmod {p^{k+1}}$