Ideals of P-adic Integers/Corollary

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

Then:
 * $\Z_p$ is a principal ideal domain