for x being complex-valued FinSequence holds len (- x) = len x