for f being complex-valued Function
for r being Complex st r <> 0 holds
(r (#) f) " {0} = f " {0}