theorem :: RMOD_3:37

for R being Ring
for V being strict RightMod of R holds V in Submodules V