theorem Th16: :: FLEXARY1:16

for k, n being Nat
for h being complex-valued FinSequence st n >= len h holds
(h,k) +...+ (h,n) = (h,k) +...+ (h,(len h))