theorem Th3: :: ZMODUL01:3

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