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

theorem
  NOR6(a,b,c,d,e,f) is non empty iff not (a is non empty or b is non
empty or c is non empty or d is non empty or e is non empty or f is non empty)
  by Def25;
