for f being FinSequence of COMPLEX holds Sum (FS2XFS f) = Sum f