R,R'：環
I,J：Rのイデアル、I',J':R'のイデアル
R/I≅R'/I'、R/J≅R'/J'　かつIはJを含むただ一つの素イデアル

このときI’はJ'を含むただ一つの素イデアルと言えるそうなのですが
直観ではIとI'、JとJ'が対応しているのでそんな感じしますが、証明がわからずもやもやしています
わかる方いらっしゃいましたらよろしくお願いします