theorem Th4: :: RMOD_2:4

for R being Ring
for V being RightMod of R holds {(0. V)} is linearly-closed