theorem :: RMOD_3:13

for R being Ring
for V being RightMod of R
for W being strict Submodule of V holds W /\ W = W