theorem :: CSSPACE:74

for X being ComplexUnitarySpace
for seq being sequence of X holds seq = - (- seq)