for x1, x2 being complex-valued FinSequence st len x1 = len x2 holds
len (x1 + x2) = len x1