theorem Th34: :: BORSUK_5:35

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