1: \begin{definition} For a non-zero polynomial $f \in R$, we call the integer $e$ defined in Theorem \ref{first step of the algorithm} the {\it level of $f$}. Also, we will say that $\delta \in \DD^{(e)}$ such that $\delta(f^{p^e-1}) = f^{p^e-p}$, or equivalently such that $\delta(1/f) = 1/f^p$, is a differential operator {\it associated with $f$}.

2: \end{definition}

3: