theorem
  z is quasi-term of C iff z in QuasiTerms C by Th41;
