theorem Th14:
  A is_inside_component_of B implies UBD B misses A
proof
  assume A is_inside_component_of B;
  then A c= BDD B by JORDAN2C:22;
  hence thesis by JORDAN2C:24,XBOOLE_1:63;
end;
