let D be Subset of (TOP-REAL 2); :: thesis: BDD D misses D
D misses D ` by SUBSET_1:44;
hence BDD D misses D by JORDAN2C:29, XBOOLE_1:63; :: thesis: verum