for V being non trivial torsion finitely-generated Z_Module
for i being Element of INT.Ring st i <> 0 & ( for v being Vector of V holds i * v = 0. V ) holds
not V is divisible