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

theorem
  MAJ3(a,b,c) is non empty iff a is non empty & b is non empty or b is
  non empty & c is non empty or c is non empty & a is non empty;
