Prime Ideal of Principal Ideal Domain is Maximal

Theorem
Let $A$ be a principal ideal domain.

Let $\mathfrak p \subseteq A$ be a nonzero prime ideal.

Then $\mathfrak p$ is maximal.