theorem LmFGND3: :: ZMODUL08:10

for V being non trivial torsion-free finitely-generated Z_Module holds not V is divisible