theorem Th40: :: BORSUK_5:41

for A being Subset of R^1
for a being Real st A = ].-infty,a.] holds
A is closed