for f being complex-valued Function holds delneg f = delpos (- f)