theorem Th24:
  bspace(X) is right_complementable
proof
  let x be Element of bspace(X);
  reconsider A = x as Subset of X;
  take x;
  A \+\ A = {}X by XBOOLE_1:92;
  hence thesis by Def5;
end;
