theorem Th13: :: FLEXARY1:13

for k, n being Nat
for f being complex-valued Function st k <= n holds
(f,k) +...+ (f,n) = (f . k) + ((f,(k + 1)) +...+ (f,n))