1: \begin{definition}

2:  Let $f$ be as in Theorem \ref{SAP_formal}. The least function $\b$ that satisfies Theorem \ref{SAP_formal} is called the Artin function \index{Artin function} of $f$.

3:  \end{definition}

4: