theorem :: ZMODUL06:6

for V being Z_Module
for v being VECTOR of V st v is torsion holds
- v is torsion