>>687
回答して下さりありがとうございます。
ただし、4行目の包含関係は間違っていると思います。3行目から4行目は出ません。

なお、「任意の素数 p に対して P + (p) ≠ Z[X_1 , … , X_n] 」とはできません。
例えば、n = 1 で P = ( p X + 1 ) とすると、P + (p) = Z[X] となってしまいます。
おそらく、P の生成元の全係数を割らない素数を持ってくればできるのではと考えていまが、
示せません。或いは、もっとスマートな方法があるかもしれませんが。