theorem LmFGND1: :: ZMODUL08:8

for V being Z_Module
for v being Vector of V st not v is torsion holds
not Lin {v} is divisible