theorem :: ZMODUL01:4

for V being Z_Module
for v being Vector of V st V is Mult-cancelable & v + v = 0. V holds
v = 0. V