theorem Th37: :: LMOD_6:37

for K being Ring
for V being LeftMod of K
for W1, W2 being Subspace of V holds
( W1 c= W2 iff for a being Vector of V st a in W1 holds
a in W2 ) by VECTSP_4:8, VECTSP_4:28;