theorem Th26: :: RMOD_2:26

for R being Ring
for V, X, Y being RightMod of R st V is Submodule of X & X is Submodule of Y holds
V is Submodule of Y