for x being FinSequence of COMPLEX holds
( len (Re x) = len x & len (Im x) = len x )