theorem Th14: :: FLEXARY1:14

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