in M_{ns}(F')$, $\rho(q)>\lambda$.\
Suppose further that for some $j\in\{1,\cdots,ns\}$, the $j$’th entries of $d_1,\cdots,d_r$ are $\mathbb{F}_p$-linearly independent modulo $\lambda^+$. Then $e_ja_i=0$ for all $i=1,\cdots,r$.

Firstly, since $d_{1,j},\cdots,d_{r,j}$ are $\mathbb{F}_p$-linearly independent modulo $\lambda^+$, it follows immediately that $e_jd_1,\cdots,e_jd_r$ are $\mathbb{F}_p$-linearly independent modulo $\lambda^+$. And:

$0=(e_jd_1)^{p^m}a_1+\cdots+(e_jd_r)^{p^m}a_r+O(e_jaq^{p^m})$

For convenience, set $d_i':=e_jd_i$, and in a similar vein to the proof of Theorem \[special-GPP\], define the following matrices:

$D_m:=\left(\begin{array}{cccccc} d_1'^{p^m} & d_2'^{p^m} &. &. & d_r'^{p^m}\\
d_1'^{p^{m+1}} & d_2'^{p^{m+1}} &. &. & d_r'^{p^{m+1}}\\
. &. &. &. &.\\
. &. &. &. &.\\
d_1'^{p^{m+t-1}} & d_2'^{p^{m+t-1}} &. &. & d_r'^{p^{m+t-1}}\end{array}\right)$, $\underline{a}:=\left(\begin{array}{c}a_1\\
a_2\\
.\\
.\\
.\\
a_r\end{array}\right)$\
Then we can rewrite our expression as:

$0=D_m\underline{a}+\left(\begin{array}{c} O(e_jaq^{p^m})\\
O(e_jaq^{p^{m+1}})\\
.
in M_{ns}(F')$, $ \rho(q)>\lambda$.\ 
 Suppose further that for some $ j\in\{1,\cdots, ns\}$, the $ j$’th entries of $ d_1,\cdots, d_r$ are $ \mathbb{F}_p$-linearly independent modulo $ \lambda^+$. Then $ e_ja_i=0 $ for all $ i=1,\cdots, r$. 

 first, since $ d_{1,j},\cdots, d_{r, j}$ are $ \mathbb{F}_p$-linearly autonomous modulo $ \lambda^+$, it stick to immediately that $ e_jd_1,\cdots, e_jd_r$ are $ \mathbb{F}_p$-linearly independent modulo $ \lambda^+$. And: 

 $ 0=(e_jd_1)^{p^m}a_1+\cdots+(e_jd_r)^{p^m}a_r+O(e_jaq^{p^m})$ 

 For public toilet, determine $ d_i':=e_jd_i$, and in a similar vein to the proof of Theorem \[special - GPP\ ], specify the following matrix: 

 $ D_m:=\left(\begin{array}{cccccc } d_1'^{p^m } & d_2'^{p^m } &. &. & d_r'^{p^m}\\ 
 d_1'^{p^{m+1 } } & d_2'^{p^{m+1 } } &. &. & d_r'^{p^{m+1}}\\ 
. &. &. &. & .\\ 
. &. &. &. & .\\ 
 d_1'^{p^{m+t-1 } } & d_2'^{p^{m+t-1 } } &. &. & d_r'^{p^{m+t-1}}\end{array}\right)$, $ \underline{a}:=\left(\begin{array}{c}a_1\\ 
 a_2\\ 
 .\\ 
 .\\ 
 .\\ 
 a_r\end{array}\right)$\ 
 Then we can rewrite our expression as: 

 $ 0 = D_m\underline{a}+\left(\begin{array}{c } O(e_jaq^{p^m})\\ 
 O(e_jaq^{p^{m+1}})\\ 
.
in L_{ns}(F')$, $\rho(q)>\lambda$.\
Suppose fmrther that for some $j\ii\{1,\cdots,na\}$, the $j$’tf entries of $d_1,\cdots,d_r$ are $\mavhbb{D}_p$-lintcrly independent modjlo $\lambdw^+$. Then $e_ha_i=0$ hor all $i=1,\cdots,r$.

Fmdstly, sluce $d_{1,n},\gdots,b_{r,o}$ are $\mathbb{F}_p$-llnearly indapendent modulm $\ualbda^+$, it follows immediately that $e_jq_1,\cdots,e_kd_g$ are $\mathbb{F}_p$-jineswly jndependent modulo $\lambda^+$. And:

$0=(e_jd_1)^{p^m}z_1+\cdots+(e_od_r)^{p^m}a_r+O(e_jaq^{p^m})$

Fpr convenience, set $d_i':=e_jd_i$, wnd ln a similar vein ho the prood of Rheorem \[speckal-GPP\], defpue the follkwing matrices:

$D_m:=\left(\begin{array}{czcccc} d_1'^{p^m} & d_2'^{p^m} &. &. & d_r'^{o^k}\\
d_1'^{p^{m+1}} & d_2'^{p^{m+1}} &. &. & d_r'^{p^{i+1}}\\
. &. &. &. &.\\
. &. &. &. &.\\
d_1'^{p^{m+b-1}} & d_2'^{p^{m+t-1}} &. &. & d_r'^{p^{k+t-1}}\end{array}\righb)$, $\undxrlibe{a}:=\left(\begin{array}{c}a_1\\
a_2\\
.\\
.\\
.\\
a_c\end{array}\right)$\
Then wg can rewrhtz our expression as:

$0=D_m\yneerlite{a}+\laft(\bdtin{xrrzy}{r} O(s_jaq^{p^m})\\
L(e_jeq^{p^{m+1}})\\
.
in M_{ns}(F')$, $\rho(q)>\lambda$.\ Suppose further that for the entries of are $\mathbb{F}_p$-linearly independent all Firstly, since $d_{1,j},\cdots,d_{r,j}$ $\mathbb{F}_p$-linearly independent modulo it follows immediately that $e_jd_1,\cdots,e_jd_r$ are independent modulo $\lambda^+$. And: $0=(e_jd_1)^{p^m}a_1+\cdots+(e_jd_r)^{p^m}a_r+O(e_jaq^{p^m})$ For convenience, set $d_i':=e_jd_i$, and in a similar to the proof of Theorem \[special-GPP\], define the following matrices: $D_m:=\left(\begin{array}{cccccc} d_1'^{p^m} & &. & d_1'^{p^{m+1}} d_2'^{p^{m+1}} &. &. & d_r'^{p^{m+1}}\\ . &. &. &. &.\\ . &. &. &. &.\\ d_1'^{p^{m+t-1}} d_2'^{p^{m+t-1}} &. &. & d_r'^{p^{m+t-1}}\end{array}\right)$, $\underline{a}:=\left(\begin{array}{c}a_1\\ a_2\\ .\\ .\\ a_r\end{array}\right)$\ Then we rewrite our expression as: $0=D_m\underline{a}+\left(\begin{array}{c} O(e_jaq^{p^{m+1}})\\
in M_{ns}(F')$, $\rho(q)>\lambda$.\
Suppose fuRther that fOr somE $j\iN\{1,\cdOtS,ns\}$, tHe $j$’tH entries of $d_1,\cdoTS,d_r$ aRe $\mathbb{F}_p$-linearly indePendeNt MOdulO $\LaMbda^+$. THen $e_ja_i=0$ FOr ALL $i=1,\cDoTs,R$.

FiRsTLy, Since $D_{1,j},\cDots,d_{r,j}$ Are $\mathbb{F}_P$-liNeArly independENt Modulo $\lambDa^+$, iT follows immeDiaTely thAt $E_jd_1,\CDots,e_Jd_r$ Are $\maThbb{F}_p$-LInearlY independEnT Modulo $\LAmbda^+$. AnD:

$0=(E_Jd_1)^{P^m}a_1+\cDots+(e_jd_r)^{p^m}a_r+O(e_jaq^{P^M})$

FOR convenience, seT $d_i':=e_jd_I$, aND iN A SimIlaR vein to the PrOof of tHeorem \[sPEcIAL-gPP\], DEfine the folloWing matriceS:

$d_m:=\lEft(\begIn{ArrAY}{cccccC} d_1'^{p^m} & d_2'^{P^m} &. &. & D_R'^{p^m}\\
D_1'^{p^{m+1}} & d_2'^{p^{m+1}} &. &. & d_r'^{p^{m+1}}\\
. &. &. &. &.\\
. &. &. &. &.\\
d_1'^{P^{m+t-1}} & d_2'^{P^{m+t-1}} &. &. & d_r'^{p^{m+t-1}}\eNd{arraY}\Right)$, $\unDErline{a}:=\Left(\beGin{ArrAy}{c}a_1\\
A_2\\
.\\
.\\
.\\
A_r\EnD{arRaY}\RigHT)$\
THen WE caN rewrite OuR eXpresSion AS:

$0=d_M\UndeRliNe{a}+\lEft(\beGin{array}{c} O(e_jaQ^{p^m})\\
o(e_jaQ^{P^{m+1}})\\
.
in M_{ns}(F')$, $\rho(q)>\ lambda$.\Suppo sefur th er t hatfor some $j\in \ {1,\ cdots,ns\}$, the $j$’t h ent ri e s of $d _1,\c dots,d_ r $a r e $ \m at hbb {F } _p $-lin ear ly inde pendent mo dul o$\lambda^+$. Th en $e_ja_i =0$  for all $i= 1,\ cdots, r$ .
F irstl y,since  $d_{1 , j},\cd ots,d_{r, j} $  are $ \ mathbb{ F } _p $-li nearly independen t  m o dulo $\lambda^ +$, it  f o ll o w s i mme diately th at  $e_j d _1,\cdo t s, e _ j d_r $  are $\mathbb {F}_p$-line a rly  indep en den t  modul o $\l am b da^ +$. And:

$ 0=(e _jd_1)^{p ^m}a_1 + \cdots+ ( e_jd_r) ^{p^m} a_r +O( e_ja q ^{ p^ m}) $For co nve n ien ce, set$d _i ':=e_ jd_i $ , a nd i n a  sim ilarvein to the p roo f of The orem\[spe cial -G PP\],  defin e the  f ollowing matric es:
$D_m:=\l eft (\ beg in {arra y }{cccc cc}  d_ 1'^{p^m } & d_2 ' ^{p ^m } & .&. & d_r'^{p^m}\\d_ 1 ' ^{ p^{m+1}}  & d_2 ' ^{ p^ { m+1}} &.  & . &  d_r ' ^ {p^{m +1}} \ \. &. &.&. &.\ \ 
.  & . &. &.  & .\\
d_ 1' ^{p ^{m +t-1} }  & d _2'^{p ^{m+t-1} } &.& . & d_r'^{p^{m + t-1}}\end{arr a y} \ r ig h t)$,  $\ underline{a }:=\ l eft( \beg i n{ arr a y}{c} a_1\\ 
a _ 2\ \ 
.\\
.\\
.\\
a_r\en d{ array} \righ t)$\
Then wecan rewrit e o ur expre ssio n  a s :

$0=D_m\unde rline {a}+\left( \ begin{ar ray}{ c} O(e_j aq^{p^m}) \ \ 
O(e_jaq ^{p ^{m +1} })\ \ .
in M_{ns}(F')$,_$\rho(q)>\lambda$.\
Suppose further_that for some $j\in\{1,\cdots,ns\}$,_the $j$’th_entries_of $d_1,\cdots,d_r$_are_$\mathbb{F}_p$-linearly independent modulo_$\lambda^+$. Then $e_ja_i=0$_for all $i=1,\cdots,r$.

Firstly, since_$d_{1,j},\cdots,d_{r,j}$ are $\mathbb{F}_p$-linearly_independent_modulo $\lambda^+$, it follows immediately that $e_jd_1,\cdots,e_jd_r$ are $\mathbb{F}_p$-linearly independent modulo $\lambda^+$. And:

$0=(e_jd_1)^{p^m}a_1+\cdots+(e_jd_r)^{p^m}a_r+O(e_jaq^{p^m})$

For convenience,_set_$d_i':=e_jd_i$, and_in_a_similar vein to the proof_of Theorem \[special-GPP\], define the_following matrices:

$D_m:=\left(\begin{array}{cccccc}_d_1'^{p^m} & d_2'^{p^m} &. &. & d_r'^{p^m}\\
d_1'^{p^{m+1}} &_d_2'^{p^{m+1}}_&. &. &_d_r'^{p^{m+1}}\\
. &. &. &. &.\\
. &. &. &. &.\\
d_1'^{p^{m+t-1}}_& d_2'^{p^{m+t-1}} &. &. & d_r'^{p^{m+t-1}}\end{array}\right)$,_$\underline{a}:=\left(\begin{array}{c}a_1\\
a_2\\
.\\
.\\
.\\
a_r\end{array}\right)$\
Then we can_rewrite_our_expression as:

$0=D_m\underline{a}+\left(\begin{array}{c} O(e_jaq^{p^m})\\
O(e_jaq^{p^{m+1}})\\
.