theorem Th14: :: BORSUK_7:15

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