theorem ZOR: :: FINSEQ_9:25

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