P-adic Norm Characterisation of Divisibility by Power of p

Theorem
Also, if $a, b \in \Z$, then $a \equiv b \pmod {p^n}$ $\norm {a - b}_p \le p^{-n}$