theorem :: BSPACE:43
dim (bspace {}) = 0