theorem Th15: :: BORSUK_5:16

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