theorem ThnTV3: :: ZMODUL06:12

for V being Z_Module
for v being VECTOR of V holds
( not v is torsion iff {v} is linearly-independent )