 Every principal ideal domain is a unique factorization domain

The ascending chain condition supplies existence of factorizations into irreducible elements. The Bezout identity makes every irreducible element prime, which supplies uniqueness up to order and multiplication by units.