theorem Th33: :: BORSUK_5:34

for A being Subset of R^1 st A is closed & A is open & not A = {} holds
A = REAL