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

theorem
  AND6(a,b,c,d,e,f) is non empty iff a is non empty & b is non empty & c
  is non empty & d is non empty & e is non empty &f is non empty by Def22;
