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