theorem Th77: :: BORSUK_5:78

for X being non empty connected compact Subset of R^1 holds X is non empty closed_interval Subset of REAL