theorem ThLin5: :: ZMODUL06:22

for R being Ring
for V being LeftMod of R holds Lin {(0. V)} = (0). V