theorem :: CLVECT_1:5

for V being ComplexLinearSpace
for v being VECTOR of V st v + v = 0. V holds
v = 0. V