for f being complex-valued FinSequence holds f is Element of COMPLEX (len f)