theorem FSS: :: RVSUM_4:65

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