The multiplicative monoid of principal ideals partially ordered by reverse inclusion,
called the divisibility theory, of a Bezout ring R with one minimal prime ideal is a
factor of the positive cone of a latticeordered abelian group by an appropriate filter if the
localization of R at its minimal pr[r]