Si "I" ≠ "R" es cualquier ideal por los dos lados en "R", entonces el anillo factor "R"/"I" es de nuevo local, con ideal maximal "m"/"I".