Principal Ideal Domain is Integrally Closed

Theorem
Let $A$ be a principal ideal domain (PID).

Then $A$ is integrally closed.

Proof
By Principal Ideal Domain is Unique Factorization Domain $A$ is a unique factorization domain (UFD).

By Unique Factorization Domain is Integrally Closed $A$ is integrally closed.