Let A : local ring

m : maximal ideal of A

E : finitely generated A-module

F : submodule


If E = F + mE, then F = E.