theorem :: RMOD_4:62

for R being Ring
for V being RightMod of R
for A, B being Subset of V st A c= B & B is linearly-independent holds
A is linearly-independent