theorem Th15: :: TOPGEN_5:15

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