theorem LmFGND4: :: ZMODUL08:13

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