Rを整域とし，Fをその商体とする．
モニックな多項式p(x)∈R[X]がF[x]でp(x)=a(x)b(x) と2 つのモニックな多項式の積で書けたとする．
このときa(x)がR[x]の元でないならR はUFD でないことを示せ．

これはどうすれば…