theorem :: BORSUK_5:50

for a being Real holds Cl ].a,+infty.[ = [.a,+infty.[