Height-one prime in a unique factorization domain (source code)

= Height-one prime in a unique factorization domain

Every height-one prime ideal in a unique factorization domain is principal and generated by an irreducible element. Consequently, two elements contained in the same height-one prime have a common irreducible factor.