theorem ThMCTF: :: ZMODUL06:15

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