 using the morphism $\phi$, to get local coordinates on $W$, say by choosing $z_{i}, \ldots, z_{i}^{(s_{i})}$, $i=1,2$, ($s_{1}\le r$), and the $z_{j}^{(k)}$, $j>2$, $k\in\N$. We may then express the derivations $\partial/\partial z_{1}^{(k)}$ in the $V$ coordinates. In this setting, for state equations defining $V$, Rouchon’s lemma means that $\partial_{z_{1}^{(r+1)}}$ and $\partial_{z_{1}^{(r)}}=[\delta,\partial_{z_{1}^{(r+1)}}]$ do commute. The next lemma goes one step further by considering $\partial_{z_{1}^{(r-1)}}=[\delta,\partial_{z_{1}^{(r)}}]$ (*cf.* [@zharinov1996]).

\[e-Rouchon2\] Under the hypotheses of th. \[e-Rouchon\], assume that the system $V/U$ is locally defined by explicit equations of order $1$. $P_{i}:=x_{i}'-h_{i}(x,x_{1}',x_{2}',u)=0$, $2< i\le n$.

If $V/U$ is parametrizable, the homogeneous ideal $(D^{k}P_{i}|1\le i\le n-2,\> k\in\N)$ is of projective dimension $0$, iff at least one of the equations $P_{i}$ is non linear in the derivatives $x_{i}'$.

In this case, the state equations can be rewritten $x_{i}'=f_{i}(x,v_{2},u)v_{1}+g_{i}(x,v_{2},u)$, where the $v_{i}$ are functions of the $x_{i}$ and the $x_{j}'$, $j=1,2$, such that $\partial_{z_{1}^{(r+1)}}v_{2}=0$, $f_{1}=1$ ( $v_{1}=x_{1}'$) and $f_{2}=v_{2}$ if $f_{2}$ depends on $v_{2}$.

We have moreover $\partial_{z_{1}^{(r)}}f_{i}(x,v_{2
using the morphism $ \phi$, to get local coordinates on $ W$, say by choose $ z_{i }, \ldots, z_{i}^{(s_{i})}$, $ i=1,2 $, ($ s_{1}\le r$), and the $ z_{j}^{(k)}$, $ j>2 $, $ k\in\N$. We may then carry the derivations $ \partial/\partial z_{1}^{(k)}$ in the $ V$ coordinates. In this setting, for country equations defining $ V$, Rouchon ’s lemma intend that $ \partial_{z_{1}^{(r+1)}}$ and $ \partial_{z_{1}^{(r)}}=[\delta,\partial_{z_{1}^{(r+1)}}]$ do change. The next lemma go one step further by consider $ \partial_{z_{1}^{(r-1)}}=[\delta,\partial_{z_{1}^{(r)}}]$ (* cf. * [ @zharinov1996 ]). 

 \[e - Rouchon2\ ] Under the hypotheses of th.   \[e - Rouchon\ ], assume that the system $ V / U$ is locally specify by explicit equations of order $ 1$. $ P_{i}:=x_{i}'-h_{i}(x, x_{1}',x_{2}',u)=0 $, $ 2 < i\le n$. 

 If $ five / U$ is parametrizable, the homogeneous ideal $ (D^{k}P_{i}|1\le i\le n-2,\ > k\in\N)$ is of projective dimension $ 0 $, iff at least one of the equations $ P_{i}$ is non analogue in the derivatives $ x_{i}'$. 

 In this character, the state equations can be rewritten $ x_{i}'=f_{i}(x, v_{2},u)v_{1}+g_{i}(x, v_{2},u)$, where the $ v_{i}$ are routine of the $ x_{i}$ and the $ x_{j}'$, $ j=1,2 $, such that $ \partial_{z_{1}^{(r+1)}}v_{2}=0 $, $ f_{1}=1 $ ($ v_{1}=x_{1}'$) and $ f_{2}=v_{2}$ if $ f_{2}$ depends on $ v_{2}$. 

 We have moreover $ \partial_{z_{1}^{(r)}}f_{i}(x, v_{2
 uslng the morphism $\phi$, to net local coordiuqtes oi $W$, say by chooring $z_{i}, \ldots, z_{i}^{(s_{i})}$, $i=1,2$, ($s_{1}\le r$), aid tye $z_{j}^{(j)}$, $j>2$, $k\in\N$. We may then ebpress thv derivatuons $\partial/\parvjal z_{1}^{(k)}$ lu the $Y$ cooxdmnates. In this xetting, fos state equatimnr befining $V$, Rouchon’s lemma means that $\partiak_{z_{1}^{(g+1)}}$ and $\partial_{z_{1}^{(t)}}=[\delts,\[artjal_{z_{1}^{(r+1)}}]$ do commute. The next lemma goss one vtep further ny considering $\partial_{z_{1}^{(r-1)}}=[\depta,\pwrtial_{z_{1}^{(r)}}]$ (*cf.* [@zharinlv1996]).

\[e-Rouchon2\] Ohdew the hypotheres of th. \[e-Gmuchon\], assome that the system $V/U$ is locallh defnned by expoixit gquations of ordeg $1$. $P_{i}:=x_{i}'-h_{i}(x,x_{1}',x_{2}',u)=0$, $2< i\le n$.

Ix $V/U$ is parametrizablc, the honogeneous ideal $(D^{k}P_{i}|1\lx i\le n-2,\> k\in\N)$ is of ptojective gijension $0$, iff at lwawt ong of dhe dwuagiohs $P_{j}$ is nln minear in fhe derivatuves $x_{i}'$.

In this case, trv state equatjons cwn be rewritten $x_{i}'=f_{i}(x,v_{2},u)v_{1}+g_{i}(x,v_{2},u)$, where the $v_{p}$ ars functions of the $x_{i}$ abd the $x_{j}'$, $j=1,2$, such that $\partial_{z_{1}^{(w+1)}}v_{2}=0$, $f_{1}=1$ ( $v_{1}=x_{1}'$) and $f_{2}=v_{2}$ if $f_{2}$ depends on $v_{2}$.

We have moreover $\partmau_{z_{1}^{(r)}}y_{l}(w,v_{2
using the morphism $\phi$, to get local $W$, by choosing \ldots, z_{i}^{(s_{i})}$, $i=1,2$, $j>2$, We may then the derivations $\partial/\partial in the $V$ coordinates. In this for state equations defining $V$, Rouchon’s lemma means that $\partial_{z_{1}^{(r+1)}}$ and $\partial_{z_{1}^{(r)}}=[\delta,\partial_{z_{1}^{(r+1)}}]$ do The next lemma goes one step further by considering $\partial_{z_{1}^{(r-1)}}=[\delta,\partial_{z_{1}^{(r)}}]$ (*cf.* [@zharinov1996]). \[e-Rouchon2\] the of \[e-Rouchon\], that the system $V/U$ is locally defined by explicit equations of order $1$. $P_{i}:=x_{i}'-h_{i}(x,x_{1}',x_{2}',u)=0$, $2< i\le If $V/U$ is parametrizable, the homogeneous ideal $(D^{k}P_{i}|1\le n-2,\> k\in\N)$ is of dimension $0$, iff at least of equations $P_{i}$ non in derivatives $x_{i}'$. In case, the state equations can be rewritten $x_{i}'=f_{i}(x,v_{2},u)v_{1}+g_{i}(x,v_{2},u)$, where the $v_{i}$ are functions of the $x_{i}$ and $x_{j}'$, $j=1,2$, $\partial_{z_{1}^{(r+1)}}v_{2}=0$, $f_{1}=1$ $v_{1}=x_{1}'$) $f_{2}=v_{2}$ $f_{2}$ depends on have moreover $\partial_{z_{1}^{(r)}}f_{i}(x,v_{2
 using the morphism $\phi$, to get lOcal coordiNates On $W$, Say By ChooSing $Z_{i}, \ldots, z_{i}^{(s_{i})}$, $i=1,2$, ($s_{1}\lE R$), and The $z_{j}^{(k)}$, $j>2$, $k\in\N$. We may then exPress ThE DeriVAtIons $\pArtial/\pARtIAL z_{1}^{(k)}$ In ThE $V$ cOoRDiNates. in tHis settIng, for statE eqUaTions defininG $v$, ROuchon’s lemMa mEans that $\partIal_{Z_{1}^{(r+1)}}$ and $\pArTiaL_{Z_{1}^{(r)}}=[\delTa,\pArtiaL_{z_{1}^{(r+1)}}]$ do cOMmute. THe next lemMa GOes one STep furtHER bY conSidering $\partial_{z_{1}^{(r-1)}}=[\DElTA,\partial_{z_{1}^{(r)}}]$ (*cf.* [@zhArinov1996]).

\[E-ROUcHON2\] UnDer The hypotheSeS of th. \[E-rouchon\], ASsUME ThaT The system $V/U$ is Locally defiNEd bY expliCiT eqUAtions Of ordEr $1$. $p_{I}:=x_{i}'-H_{i}(x,x_{1}',x_{2}',u)=0$, $2< i\le n$.

IF $V/U$ iS parametrIzable, THe homogENeous idEal $(D^{k}P_{I}|1\le I\le N-2,\> k\in\n)$ Is Of ProJeCTivE DiMenSIon $0$, Iff at leaSt OnE of thE equATIONs $P_{i}$ Is nOn liNear iN the derivativEs $x_{I}'$.

In tHIs cAse, thE statE equAtIons cAn be reWrittEn $X_{i}'=f_{i}(x,v_{2},u)v_{1}+g_{i}(x,v_{2},u)$, whEre tHe $v_{i}$ are fuNctIoNs oF tHe $x_{i}$ aND the $x_{j}'$, $J=1,2$, suCh tHat $\partIal_{z_{1}^{(r+1)}}v_{2}=0$, $f_{1}=1$ ( $V_{1}=X_{1}'$) anD $f_{2}=V_{2}$ IF $F_{2}$ dEpends on $v_{2}$.

We have morEoVER $\pArtial_{z_{1}^{(r)}}F_{i}(x,v_{2
 using the morphism $\phi$ , to get l ocalcoo rdi na teson $ W$, say by cho o sing  $z_{i}, \ldots, z_{i} ^{(s_ {i } )}$, $i =1,2$ , ($s_{ 1 }\ l e  r$ ),  a ndth e  $ z_{j} ^{( k)}$, $ j>2$, $k\i n\N $.  We may then ex press theder ivations $\p art ial/\p ar tia l  z_{1 }^{ (k)}$  in th e  $V$ c oordinate s. In thi s  settin g ,  f or s tate equations de f in i ng $V$, Roucho n’s le mm a  m e a nstha t $\partia l_ {z_{1 } ^{(r+1) } }$ a n d $ \ partial_{z_{1 }^{(r)}}=[\ d elt a,\par ti al_ { z_{1}^ {(r+1 )} } ]$do commute.  The  next lem ma goe s  one st e p furth er bycon sid erin g  $ \p art ia l _{z _ {1 }^{ ( r-1 )}}=[\de lt a, \part ial_ { z _ { 1}^{ (r) }}]$  (*cf .* [@zharinov 199 6]). 
\[ e-Rou chon2 \] U nd er th e hypo these sof th. \[e-Rouc hon\ ], assume  th at  th esyste m  $V/U$  is  lo cally d efinedb y e xp l i c it  equations of orde r$ 1 $.  $P_{i}: =x_{i} ' -h _{ i }(x,x_{1 }' ,x_ {2}' , u )=0$,  $2< i\ le n$.
If $V/ U $is  parame tr izable ,the  ho mogen e ousideal$(D^{k}P _{i}| 1 \le i\le n-2,\ >  k\in\N)$ iso fp r oj e ctiv e d imension $0 $, i f f at  lea s tone of th e equ at i on s  $P_{i}$ is non lin ea r in t he de rivatives $x_ {i}'$.

In t h is case,  the st a te equations c an be  rewritten $x_{i}'= f_{i} (x,v_{2} ,u)v_{1}+ g _ {i}(x,v_ {2} ,u) $,whe r e  t he $v_{i}$ ar e func ti ons ofthe  $x_{i} $ a ndthe  $x _{ j}'$, $j= 1,2$, su ch  t ha t$\p artia l _{z_{1}^ {( r+1 )} }v_ {2}=0 $ , $f_{ 1}=1$  ( $ v_ {1 } =x_ {1}'$)a nd $ f_{2 }= v_ {2}$  if  $ f_{2} $ de p end s on $v _{2}$.

W e h a ve m or eo ver $\p artial_{z_{1} ^{ (r)}}f_{i} (x ,v_ {2
 using_the morphism_$\phi$, to get local_coordinates on_$W$,_say by_choosing_$z_{i}, \ldots, z_{i}^{(s_{i})}$,_$i=1,2$, ($s_{1}\le r$),_and the $z_{j}^{(k)}$, $j>2$,_$k\in\N$. We may_then_express the derivations $\partial/\partial z_{1}^{(k)}$ in the $V$ coordinates. In this setting, for state_equations_defining $V$,_Rouchon’s_lemma_means that $\partial_{z_{1}^{(r+1)}}$ and $\partial_{z_{1}^{(r)}}=[\delta,\partial_{z_{1}^{(r+1)}}]$_do commute. The next lemma_goes one_step further by considering $\partial_{z_{1}^{(r-1)}}=[\delta,\partial_{z_{1}^{(r)}}]$ (*cf.* [@zharinov1996]).

\[e-Rouchon2\] Under_the_hypotheses of th. \[e-Rouchon\],_assume that the system $V/U$ is locally defined by_explicit equations of order $1$. $P_{i}:=x_{i}'-h_{i}(x,x_{1}',x_{2}',u)=0$,_$2< i\le n$.

If_$V/U$_is_parametrizable, the homogeneous ideal_$(D^{k}P_{i}|1\le i\le n-2,\> k\in\N)$ is of_projective dimension $0$, iff at least_one of the equations $P_{i}$ is non_linear in the derivatives $x_{i}'$.

In this_case, the state equations can_be rewritten_$x_{i}'=f_{i}(x,v_{2},u)v_{1}+g_{i}(x,v_{2},u)$, where the $v_{i}$ are_functions of the_$x_{i}$ and_the $x_{j}'$, $j=1,2$,_such that $\partial_{z_{1}^{(r+1)}}v_{2}=0$, $f_{1}=1$ ( $v_{1}=x_{1}'$)_and $f_{2}=v_{2}$ if_$f_{2}$ depends on $v_{2}$.

We have moreover_$\partial_{z_{1}^{(r)}}f_{i}(x,v_{2