theorem ThLin5: :: ZMODUL06:22

for V being Z_Module holds Lin {(0. V)} = (0). V