theorem
  dim bspace {} = 0
proof
  card [#]bspace {} = 1 by CARD_2:42,ZFMISC_1:1;
  hence thesis by RANKNULL:5;
end;
