永井「代数学入門」の2.7.11で使っているK[X]のPID性がKが体でないといけないことは、2.4.11, 2.4.12と2.6.6から来てるのかな？