P-adic Integers Form Integral Domain

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

Then:
 * $\Z_p$ is an integral domain