theorem
  I in ElementaryInstructions A implies I is absolutely-terminating
by Th94;
