1: \begin{definition}[Nondegenerate $\DS$-field]\label{def:nondegenerate}

2:   A $\DS$-field $E$ is called \emph{nondegenerate} if it satisfies conditions~\ref{item:three_delta} and~\ref{item:three_sigma} of Theorem~\ref{thm:main}, namely,

3:   \begin{itemize}

4:       \item[(3$\delta$)] $\delta_1, \ldots, \delta_s$ are linearly independent over $E$;

5:       \item[(3$\sigma$)] $\sigma_1, \ldots, \sigma_t$ are multiplicatively independent over $\mathbb{Z}$, that is, for every $\bm{\beta}\in \mathbb{Z}^t$, $\sigma^{\bm{\beta}}|_E = \operatorname{id} \iff \bm{\beta} = \bm{0}$.

6:   \end{itemize}

7: \end{definition}

8: