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