theorem :: BORSUK_5:47

for a being Real holds ].-infty,a.] <> REAL