多項式環Fの最上位次数の係数が１であれば、Fはモニックな多項式環であって整域をもつ。
しかし、ミニモニ姦が聖域をもつ、ということではない～