theorem :: BORSUK_5:46

for a being Real holds [.a,+infty.[ <> REAL