>>487の I = ∩I(m) において、 I ⊂ m でないとき I(m) = A だから
m は I ⊂ m となるすべての極大イデアルに制限してもよい。