theorem ThND1: :: ZMODUL08:16

for V being non trivial free Z_Module
for v being non zero Vector of V holds not v is divisible