theorem Th29:
  bspace(X) is vector-distributive scalar-distributive
  scalar-associative scalar-unital
by Th25,Th26,Th27,Th28;
