theorem Th41:
  L1 is bounded & L2 is bounded iff [:L1,L2:] is bounded
by Th39,Th40;
