for V being Z_Module
for v being Vector of V
for i being Element of INT.Ring st not v is torsion & i <> 0 holds
not i * v is torsion