theorem Th100: :: JORDAN2C:116

for n being Nat
for A, B being Subset of (TOP-REAL n) st B is_outside_component_of A holds
B is connected