theorem Th3: :: TOPREAL5:3

for A being Subset of R^1
for a being Real st not a in A & ex b, d being Real st
( b in A & d in A & b < a & a < d ) holds
not A is connected