theorem Th30: :: RMOD_2:30

for R being Ring
for V being RightMod of R
for W1, W2 being strict Submodule of V st ( for v being Vector of V holds
( v in W1 iff v in W2 ) ) holds
W1 = W2