theorem ThFGND: :: ZMODUL08:14

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