theorem Th58: :: NUMBER15:58

for c being Complex
for f being complex-valued Function holds (c (#) f) " = (c ") (#) (f ")