以下の一般的な構成は体でない任意のベズー整域 R から、例えば PID から、UFD でないベズー整域 S を生み出す。R = Z の場合が心にとどめておくべき基本的な例である。F を R の分数体とし、S = R + XF[X] とおく。定数項が R に入る F[X] の多項式の部分環である。この環はネーターでない、なぜならば X のような定数項が 0 の元は R の非可逆元、これは S の非可逆元でもある、によって何度でも割ることができる。すべてのこれらの商によって生成されるイデアルは有限生成でない（なので X は S において分解をもたない）。以下のようにして S がベズー整域であることを証明する。
S の元のすべての組 a, b に対して、S のある元 s, t が存在して、as + bt が a と b を両方割り切ることを証明すれば十分である。
a と b が共通約元 d をもてば、これを a/d と b/d に対して証明すれば十分である、なぜならば同じ s, t でうまくいくから。
多項式 a と b は 0 でないとしてよい。両方とも定数項が 0 であれば、n を次のような最小の指数とする。それらのうち少なくとも一方が 0 でない Xn の係数をもつ。すると f ∈ F であって fXn が a と b の共通約元でありそれで割り切れるようなものが見つかる。
したがって a と b の少なくとも一方は 0 でない定数項をもつとしてよい。F[X] の元として見た a と b が互いに素でなければ、この UFD において定数項 1 をもちそれゆえ S に入る a と b の最大公約元が存在する。この因子で割ることができる。
したがってまた a と b は F[X] において互いに素と仮定してよく、1 は aF[X] + bF[X] に入り、R のある定数多項式 r は aS + bS に入る。また、R はベズー整域であるから、定数項 a0 と b0の R における gcd d は a0R + b0R に入る。a −a0 あるいは b − b0 のような定数項をもたない任意の元は任意の 0 でない定数で割り切れるから、定数 d は S において a と b の共通因数である。それが実は最大共通約元であることをそれが aS + bS に入っていることを示すことによって証明しよう。a と b をそれぞれ a0 と b0 に関して d に対してベズー係数によって掛けることによって定数項 d をもつ aS + bS の多項式 p を得る。すると p − d は定数項が 0 なので S において定数多項式 r の倍元でありしたがって aS + bS に入る。しかしすると d もそうなので、証明が完了する。