theorem Th11: :: LMOD_6:11

for K being Ring
for V being LeftMod of K
for A being Subset of V holds A c= [#] (Lin A)