整数上の多項式環の特殊な性質