theorem Th4: :: LMOD_6:4

for K being Ring
for V being LeftMod of K holds V is Subspace of (Omega). V