for n being Nat
for f being complex-valued Function st f <> 0* n holds
- f <> 0* n