theorem :: ZMODUL04:22

for V being Z_Module
for W1, W2 being Submodule of V
for W1s, W2s being strict Submodule of V st W1s = (Omega). W1 & W2s = (Omega). W2 holds
W1s + W2s = W1 + W2