for V being Z_Module holds
( V is Mult-cancelable iff V is torsion-free )