Every principal ideal domain is a unique factorization domain
= 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.