theorem :: ZMODUL04:23

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