theorem Th49: :: NUMBER17:49

for c being Complex
for f, g being complex-valued Function st c (#) f = c (#) g & c <> 0 holds
f = g