theorem
  Ex(x,y,p) is existential & Ex(x,y,z,p) is existential;
