theorem Th43: :: BORSUK_5:44

for a being Real holds ].-infty,a.] = {a} \/ ].-infty,a.[