theorem :: ZMODUL06:10

for V being Z_Module
for v being Vector of V st not v is torsion holds
not - v is torsion