theorem :: ZMODUL04:22

for R being Ring
for V being LeftMod of R
for W1, W2 being Subspace of V
for W1s, W2s being strict Subspace of V st W1s = (Omega). W1 & W2s = (Omega). W2 holds
W1s + W2s = W1 + W2