for k, n being Nat
for f being complex-valued Function st (f,k) +...+ (f,n) <> 0 holds
ex i being Nat st
( k <= i & i <= n & i in dom f )