theorem Th42: :: BORSUK_5:43

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