theorem :: BSPACE:43

dim (bspace {}) = 0