theorem :: MOD_3:11

for R being Ring
for V being LeftMod of R
for A, B being Subset of V st Lin A = V & A c= B holds
Lin B = V