theorem :: FINSEQ_9:26

for f being real-valued Function holds delall f = (delneg f) (#) (delpos f)