theorem VOR: :: FINSEQ_9:24

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