for f being complex-valued Function holds f - 0 = f