theorem LmFGND2: :: ZMODUL08:9

for V being Z_Module
for v being Vector of V st v is torsion & v <> 0. V holds
not Lin {v} is divisible