theorem Th25: :: RMOD_2:25

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