theorem :: AFINSQ_2:69

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