Principal Ideal Domain is Unique Factorization Domain

Theorem
Every principal ideal domain is a unique factorization domain.

Proof
From Elements of Principal Ideal Domain are Finite Product of Irreducible, each element which is neither $0$ nor a unit of a principal ideal domain has a factorization of irreducible elements.