theorem Th35: :: BORSUK_5:36

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