 done. If $W^{\prime }$ contains $F_n$, according to Lemma \[aiju\], we have that $W^{\prime}$ is a linear combination of words in the form $$W_1R_nW_2$$ where $R_n = E_n$, $F_n$ or $E_nF_n$ and $W_i$ are words in $1, E_1, \dots, E_{n-1}, F_1, \dots, F_{n-1}$. If $R_n=E_n$, according to Lemma \[FE=EF\], we can move $R_n$ to the front position and then using the induction hypothesis we are done. Suppose $R_n = F_n$, we note that by induction hypothesis $W_2$ is a linear combination of words in the form $$E_JV(F_nF_{n-1}\cdots F_{j_k})$$ where now $J\in\mathsf{P}_{n-1}$, $V$ is a word reduced in $1, F_1, \dots, F_{n-2}$ (notice that $F_nF_{n-1}\cdots F_{j_k}$ could be empty). Hence $W^{\prime}$ is a linear combination of words of the form $$W_1F_n  E_JV(F_nF_{n-1}\cdots F_{j_k})$$ Now, $F_n  E_J= E_{s_nJ}F_n $, so using (\[ptlF4\]) and (\[ptlF2\]) follows that $W^{\prime}$ can be written as a linear combination $
(1 + \delta )N_1 - \delta N_2
$ with $N_1:= E_{J^{\prime}}V^{\prime}(F_nF_{n-1}\dots F_{j_k})$ and $N_2:= E_{J^{\prime}}V^{\prime}(E_nF_nF_{n-1}\dots F_{j_k})$, where $J^{\prime}\in\mathsf{P}_n$ and $V^{\prime}$ is a word in $1, F_1, \dots F_{n-1}$. Again we note that in $N_2$, $E_n$ can move to the front position, so $N_
done. If $ W^{\prime } $ contains $ F_n$, according to Lemma \[aiju\ ], we have that $ W^{\prime}$ is a analogue combination of son in the form $ $ W_1R_nW_2$$ where $ R_n = E_n$, $ F_n$ or $ E_nF_n$ and $ W_i$ are words in $ 1, E_1, \dots, E_{n-1 }, F_1, \dots, F_{n-1}$. If $ R_n = E_n$, harmonize to Lemma \[FE = EF\ ], we can go $ R_n$ to the front position and then using the trigger guess we are done. Suppose $ R_n = F_n$, we note that by induction hypothesis $ W_2 $ is a analogue combination of words in the form $ $ E_JV(F_nF_{n-1}\cdots F_{j_k})$$ where now $ J\in\mathsf{P}_{n-1}$, $ V$ is a word reduce in $ 1, F_1, \dots, F_{n-2}$ (notice that $ F_nF_{n-1}\cdots F_{j_k}$ could be empty). therefore $ W^{\prime}$ is a linear combination of word of the kind $ $ W_1F_n   E_JV(F_nF_{n-1}\cdots F_{j_k})$$ Now, $ F_n   E_J= E_{s_nJ}F_n $, so using (\[ptlF4\ ]) and (\[ptlF2\ ]) be that $ W^{\prime}$ can be written as a linear combination $ 
 (1 + \delta) N_1 - \delta N_2 
 $ with $ N_1:= E_{J^{\prime}}V^{\prime}(F_nF_{n-1}\dots F_{j_k})$ and $ N_2:= E_{J^{\prime}}V^{\prime}(E_nF_nF_{n-1}\dots F_{j_k})$, where $ J^{\prime}\in\mathsf{P}_n$ and $ V^{\prime}$ is a word in $ 1, F_1, \dots F_{n-1}$. Again we note that in $ N_2 $, $ E_n$ can travel to the front position, so $ N _
 doje. If $W^{\prime }$ contains $F_k$, according to Lgmna \[aijn\], we habe that $D^{\prime}$ is a linear combinatiln of wirds in the form $$W_1R_nW_2$$ dhere $R_n = E_n$, $F_n$ oe $E_nH_n$ and $W_i$ are wocss in $1, C_1, \dota, E_{n-1}, Y_1, \vots, F_{n-1}$. If $R_n=E_n$, according to Lemma \[FE=EF\], wd ean move $R_n$ to the front position anq then islng the inductyon nrpotgvsls we are done. Suppose $R_n = F_n$, we note tiat by inductiom hypothesis $W_2$ is a linear comhination of words ln the form $$E_JV(S_bF_{n-1}\cdots F_{j_k})$$ where now $J\in\mathsf{P}_{n-1}$, $V$ is a word reduced in $1, F_1, \dots, F_{n-2}$ (nptice that $F_bF_{n-1}\fgots F_{j_k}$ conld be empty). Hence $W^{\prime}$ hs a limear combinatipn mf qords of the form $$W_1F_n  E_JV(F_nF_{n-1}\cdots F_{j_k})$$ Now, $F_n  A_J= E_{s_nJ}F_n $, so using (\[prlF4\]) atd (\[pdlF2\]) willuws tiat $W^{\primf}$ cen be writtsn as a linwar combination $
(1 + \dtltw )N_1 - \delta N_2
$ wjth $N_1:= Q_{J^{\[rime}}V^{\prime}(F_nF_{n-1}\dots F_{j_k})$ and $N_2:= E_{J^{\prime}}V^{\pgime}(S_nF_nF_{n-1}\dots F_{j_k})$, where $J^{\peime}\in\mathsf{P}_n$ and $V^{\ptime}$ is a rord in $1, F_1, \dots F_{n-1}$. Again we note that in $N_2$, $E_n$ can move go uhc weojt position, so $N_
done. If $W^{\prime }$ contains $F_n$, according \[aiju\], have that is a linear form where $R_n = $F_n$ or $E_nF_n$ $W_i$ are words in $1, E_1, E_{n-1}, F_1, \dots, F_{n-1}$. If $R_n=E_n$, according to Lemma \[FE=EF\], we can move to the front position and then using the induction hypothesis we are done. $R_n F_n$, note by induction hypothesis $W_2$ is a linear combination of words in the form $$E_JV(F_nF_{n-1}\cdots F_{j_k})$$ where $J\in\mathsf{P}_{n-1}$, $V$ is a word reduced in $1, \dots, F_{n-2}$ (notice that F_{j_k}$ could be empty). Hence is linear combination words the $$W_1F_n E_JV(F_nF_{n-1}\cdots F_{j_k})$$ $F_n E_J= E_{s_nJ}F_n $, so using (\[ptlF4\]) and (\[ptlF2\]) follows that $W^{\prime}$ can be written as a combination $ \delta )N_1 \delta $ $N_1:= E_{J^{\prime}}V^{\prime}(F_nF_{n-1}\dots F_{j_k})$ E_{J^{\prime}}V^{\prime}(E_nF_nF_{n-1}\dots F_{j_k})$, where $J^{\prime}\in\mathsf{P}_n$ and $V^{\prime}$ in $1, F_1, \dots F_{n-1}$. Again we note in $N_2$, can move to the front position, $N_
 done. If $W^{\prime }$ contains $F_n$, accOrding to LeMma \[aiJu\], wE haVe That $w^{\priMe}$ is a linear comBInatIon of words in the form $$W_1R_nw_2$$ wherE $R_N = e_n$, $F_n$ OR $E_NF_n$ anD $W_i$ are wORdS IN $1, E_1, \dOtS, E_{N-1}, F_1, \dOtS, f_{n-1}$. if $R_n=E_N$, acCording To Lemma \[FE=Ef\], we CaN move $R_n$ to the FRoNt position And Then using the IndUction HyPotHEsis wE arE done. supposE $r_n = F_n$, we Note that bY iNDuctioN HypotheSIS $W_2$ Is a lInear combination oF WoRDs in the form $$E_JV(f_nF_{n-1}\cdOtS f_{j_K})$$ WHerE noW $J\in\mathsf{p}_{n-1}$, $v$ is a wORd reducED iN $1, f_1, \DOts, f_{N-2}$ (notice that $F_nf_{n-1}\cdots F_{j_k}$ cOUld Be emptY). HEncE $w^{\prime}$ Is a liNeAR coMbination of WordS of the forM $$W_1F_n  E_Jv(f_nF_{n-1}\cdoTS F_{j_k})$$ Now, $f_n  E_J= E_{s_NJ}F_N $, so UsinG (\[PtLF4\]) And (\[PtLf2\]) foLLoWs tHAt $W^{\Prime}$ can Be WrItten As a lINEAR comBinAtioN $
(1 + \deltA )N_1 - \delta N_2
$ with $N_1:= e_{J^{\pRime}}v^{\PriMe}(F_nF_{N-1}\dots f_{j_k})$ aNd $n_2:= E_{J^{\prIme}}V^{\prIme}(E_nf_nf_{n-1}\dots F_{j_k})$, where $J^{\PrimE}\in\mathsf{p}_n$ aNd $v^{\prImE}$ is a wORd in $1, F_1, \dOts f_{n-1}$. AGain we nOte that IN $N_2$, $E_N$ cAN MOvE to the front positioN, sO $n_
 done. If $W^{\prime }$ co ntains $F_ n$, a cco rdi ng  toLemm a \[aiju\], we have  that $W^{\prime}$ isa lin ea r  com b in ation  of wor d si n  th efo rm$$ W _1 R_nW_ 2$$  where$R_n = E_n $,$F _n$ or $E_nF _ n$  and $W_i$  ar e words in $ 1,E_1, \ do ts, E_{n- 1},  F_1,  \dots ,  F_{n- 1}$. If $ R_ n =E_n$, accordi n g  t o Le mma \[FE=EF\], we ca n  move $R_n$ to  the f ro n tp o sit ion  and thenus ing t h e induc t io n h ypo t hesis we aredone. Suppo s e $ R_n =F_ n$, we not e tha tb y i nduction hy poth esis $W_2 $ is a linearc ombinat ion of  wo rds  int he  f orm  $ $ E_J V (F _nF _ {n- 1}\cdots  F _{ j_k}) $$ w h e r e  now  $J \in\ maths f{P}_{n-1}$,$V$  isa  wo rd re duced  in$1 , F_1 , \dot s, F_ {n -2}$ (notice th at $ F_nF_{n-1 }\c do tsF_ {j_k} $  could  be  em pty). H ence $W ^ {\p ri m e } $is a linear combin at i o nof words  of th e  f or m  $$W_1F_ n E_ JV(F _ n F_{n- 1}\c d ot s F_{j_k })$$ N o w,  $ F_n  E_ J=  E_{s_ nJ }F_ n $ , sou sing  (\[pt lF4\]) a nd (\ [ ptlF2\]) follo w s that $W^{\p r im e } $c an b e w ritten as a  lin e ar c ombi n at ion $
(1+ \de lt a  ) N _1 - \delta N_2
$ w it h $N_1 := E_ {J^{\prime}}V ^{\prime}( F _ n F_{n-1}\ dots F_ { j_k})$ and $N_ 2:= E _{J^{\prim e }}V^{\pr ime}( E_nF_nF_ {n-1}\dot s F_{j_k}) $,whe re$J^ { \ pr ime}\in\maths f { P}_n $and $V^ {\p rime}$isa w ord  in  $ 1, F_1, \ dots F_{ n- 1} $.  A gai n wen ote that  i n $ N_ 2$,  $E_n $  can m ove t o th efr o ntpositio n ,s o  $N_ 
 done._If $W^{\prime_}$ contains $F_n$, according_to Lemma_\[aiju\],_we have_that_$W^{\prime}$ is a_linear combination of_words in the form_$$W_1R_nW_2$$ where $R_n_=_E_n$, $F_n$ or $E_nF_n$ and $W_i$ are words in $1, E_1, \dots, E_{n-1}, F_1,_\dots,_F_{n-1}$. If_$R_n=E_n$,_according_to Lemma \[FE=EF\], we can_move $R_n$ to the front_position and_then using the induction hypothesis we are done._Suppose_$R_n = F_n$,_we note that by induction hypothesis $W_2$ is a_linear combination of words in the_form $$E_JV(F_nF_{n-1}\cdots F_{j_k})$$_where_now_$J\in\mathsf{P}_{n-1}$, $V$ is a_word reduced in $1, F_1, \dots,_F_{n-2}$ (notice that $F_nF_{n-1}\cdots F_{j_k}$ could_be empty). Hence $W^{\prime}$ is a linear_combination of words of the form_$$W_1F_n  E_JV(F_nF_{n-1}\cdots F_{j_k})$$ Now,_$F_n _E_J= E_{s_nJ}F_n $, so using_(\[ptlF4\]) and (\[ptlF2\])_follows that_$W^{\prime}$ can be_written as a linear combination $
(1_+ \delta )N_1_- \delta N_2
$ with $N_1:= E_{J^{\prime}}V^{\prime}(F_nF_{n-1}\dots_F_{j_k})$_and $N_2:= E_{J^{\prime}}V^{\prime}(E_nF_nF_{n-1}\dots_F_{j_k})$,_where_$J^{\prime}\in\mathsf{P}_n$ and_$V^{\prime}$ is a_word_in $1,_F_1,_\dots F_{n-1}$. Again we note that_in_$N_2$, $E_n$ can move to the front_position, so $N_