theorem :: LMOD_6:34

for K being Ring
for V being LeftMod of K
for A, B being Subset of V st A c= B holds
Lin A c= Lin B by MOD_3:10;