PID ⇒ UFD

PID ⇒ UFD: If $R$ is a principal ideal domain , then $R$ is a unique factorization domain .

A key step is that in a PID every irreducible element is prime , because $(p)$ is maximal among proper principal ideals containing $p$. Existence of factorizations follows from the ascending chain condition on principal ideals.