環AとBが同型、AのイデアルIがBのイデアルJに対応するとき
A/IとB/Jが同型って自明ですか?