reserve a,b,c,d,e,f,g,h for set;

theorem
  XOR2(a,{}) is non empty iff a is non empty;
