theorem ThLIV1: :: ZMODUL06:18

for V being Z_Module
for A being Subset of V
for v being Vector of V st A is linearly-independent & v in A holds
not v is torsion