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