for x being complex-valued FinSequence holds dom x = dom (- x) by VALUED_1:8;