1: \begin{definition}[Greenberg's Function] For any $c\in\N$ let us denote by $\b(c)$ the smallest integer such that:\\

2:  for all $\ovl{y}\in V^m$ such that $f(\ovl{y})\in (x)^{\b(c)}$,  there exists $\wdt{y}\in V^m$ such that  $f(\wdt{y})=0$ and  $\wdt{y}-y\in (x)^c$.\\

3:   Greenberg's  Theorem asserts that such a function $\b\ : \N\lgw \N$ exists and that it is bounded by a linear function. We call this function $\b$ the \emph{Greenberg's function} of $f$. 

4:  \end{definition}

5: