1: \begin{definition}\label{elim}

2: Let $x^\alpha \in G_J$ and $t$ be an integer such that $x_0^t \cdot x^\alpha \xrightarrow{s\mathcal{G}} H_\alpha$, with $H_\alpha$ strongly reduced (the integer $t$ exists by Theorem \ref{ridsm}). We can write $H_\alpha= H'_\alpha  + x_0^t \cdot H''_\alpha$, where no monomial appearing in $H'_\alpha$ is divisible by $x_0^t$. We will denote by:

3: \begin{itemize} 

4: \item $\mathfrak{B}=\left \{ C_{\alpha \gamma}- \phi_{\alpha \gamma} \text{ s.t. } x^\alpha \in G_J \setminus sG_J,\ x^\gamma \in \cN(J)_{\vert \alpha \vert}\right\}$ the set of the coefficients of $\tail{F_\alpha}{}{}-H''_\alpha$ for every $x^\alpha \in G_J$;

5: \item $\mathfrak{D}_1\subset \K[\widetilde{C}]$ the set of the coefficients of $H'_\alpha$ for every $x^\alpha \in G_J\setminus sG_J$;

6: \item $\mathfrak{D}_2$\hfill the\hfill set\hfill of\hfill the\hfill coefficients\hfill of\hfill the\hfill strongly\hfill reduced\hfill polynomials\hfill in\\ $(s\mathcal{G})\K[\widetilde{C}][x]$.

7: \end{itemize} 

8: \end{definition}

9: