theorem Th76: :: BORSUK_5:77

for A being connected Subset of R^1
for a, b being Real st a in A & b in A holds
[.a,b.] c= A