Principal Ideal Domain is Unique Factorization Domain

Theorem
Every principal ideal domain is a unique factorization domain.