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