theorem Th24: :: RMOD_2:24

for R being Ring
for V being RightMod of R holds V is Submodule of V