Principal Ideal Domain is Unique Factorization Domain

Theorem
Every principal ideal domain is a unique factorization domain.

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