ここでは、 を素元分解整域とする。主張1 を係数とする多項式 が で割り切れるなら、 の各係数が で割り切れる。（証明） そうだよね。□主張2 を係数とする多項式の環 で規約な多項式は 係数を の商体 に拡張した多項式の環 でも規約である。（証明） が既約…