theorem Th107: :: ZMODUL01:107

for R being Ring
for V being LeftMod of R
for W being Submodule of V holds ((0). V) /\ W = (0). V by VECTSP_5:20;