theorem :: BORSUK_5:69

for a, b being Real holds [.a,+infty.[ \/ {b} <> REAL