for cF being complex-valued XFinSequence holds Sum cF = Sum (Rev cF)