theorem :: ZMODUL02:56

for R being Ring
for V being LeftMod of R
for A, B being Subset of V st R is commutative & A c= B & B is linearly-independent holds
A is linearly-independent by VECTSP_7:1;