theorem ThTFX: :: ZMODUL07:44

for V being Z_Module holds
( V is torsion-free iff (Omega). V is torsion-free )