>>297
IはJを含むただひとつの素イデアルなら、
Iは極大イデアルになっちまうのでは?