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