theorem
  omega is regular & nextcard a is regular
by Th21,Th22;
