theorem Th109: :: JORDAN2C:125

for C being compact Subset of (TOP-REAL 2)
for WH being connected Subset of (TOP-REAL 2) st not WH is bounded & WH misses C holds
WH c= UBD C