theorem :: ZMODUL01:122

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