theorem Th26:
  A+^B = {} implies A = {} & B = {} by Th24,XBOOLE_1:3;
