Dodal lemo o tem, da sta podmodula Rf in Re izomorfna natanko tedaj, ko sta izomorfna (R/J(R)) (e+J(R)) in (R/j(R)) (f+J(R)). Dodal tudi dokaz te leme.