theorem VAL: :: FINSEQ_9:22

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