reserve i, i1, i2, j, j1, j2, k, m, n, t for Nat,
  D for non empty Subset of TOP-REAL 2,
  E for compact non vertical non horizontal Subset of TOP-REAL 2,
  C for compact connected non vertical non horizontal Subset of TOP-REAL 2,
  G for Go-board,
  p, q, x for Point of TOP-REAL 2,
  r, s for Real;

theorem
  for D being Subset of TOP-REAL 2 holds BDD D misses D
proof
  let D be Subset of TOP-REAL 2;
  D misses D` by SUBSET_1:24;
  hence thesis by JORDAN2C:25,XBOOLE_1:63;
end;
