theorem Th36: :: RMOD_2:36

for R being Ring
for V being RightMod of R
for W being Submodule of V holds (0). W = (0). V