theorem :: LMOD_6:13

for K being Ring
for V being LeftMod of K
for A being Subset of V st 0. V in A & A is linearly-closed holds
A = [#] (Lin A)