theorem :: BORSUK_5:37

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