Closed Subgroups of P-adic Integers

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

Then the closed subgroups of $\Z_p$ are the ideals:
 * $\quad \set{0}$
 * $\quad \forall k \in \N : p^k\Z_p$