card ([#] (bspace {})) = 1 by CARD_2:42, ZFMISC_1:1;
hence dim (bspace {}) = 0 by RANKNULL:5; :: thesis: verum