theorem Th1: :: TOPREAL5:1

for X being non empty TopSpace
for A, B1, B2 being Subset of X st B1 is open & B2 is open & B1 meets A & B2 meets A & A c= B1 \/ B2 & B1 misses B2 holds
not A is connected