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;
