>>297
R/Iは体だから環同型よりI'もR'の極大イデアル
J<IよりR/IからR/Jに全射があるので環同型よりJ'<I'
J'<P'<I' P'は素イデアルとするとR'/I'->R'/P'->R'/J'全射の列が定まるから環同型よりある素イデアルPが存在してJ<P<Iとなり矛盾