Z を整数環として、P ⊂ Z[X_1 , … , X_n] を整数係数 n 変数多項式環の素イデアルとする。
このとき、Z ∩ P = {0} ならば P は極大イデアルではないことを示せ。

多分成り立つはずなのですが示せません。どなたかお願いします。