theorem :: RMOD_2:12

for R being Ring
for V being RightMod of R
for W1, W2 being Submodule of V holds 0. W1 = 0. W2