theorem :: RMOD_2:41

for R being Ring
for V being strict RightMod of R holds V is Submodule of (Omega). V ;