theorem Th64: :: BORSUK_5:65

for A being Subset of R^1
for a, b being Real st a < b & A = ].-infty,a.[ \/ ].a,b.] holds
Cl A = ].-infty,b.]