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