theorem Th108:
  for C being compact Subset of TOP-REAL 2 holds UBD C is_a_component_of C`
proof
  let C be compact Subset of TOP-REAL 2;
  UBD C is_outside_component_of C by Th53;
  hence thesis;
end;
