theorem Th53: :: JORDAN2C:68

for n being Nat
for A being Subset of (TOP-REAL n) st n >= 2 & A is bounded holds
UBD A is_outside_component_of A