theorem Th18: :: TOPGEN_5:18

for a, b being Real holds
( |[a,b]| in y>=0-plane iff b >= 0 )