>\!0$ (resp. $0$) in ${\mathbb{C}}_p$. Observe that $f'(\zeta)\!=\!a_2a_3\zeta^{a_2-1}(\zeta^{a_3-a_2}-1)$.

For $\zeta\!\in\!{\mathbb{C}}_p$ a root of $f$ with valuation $\frac{{{\mathrm{ord}}}_p (a_3-a_2)}{a_2}$ we then obtain\
${{\mathrm{ord}}}_p f'(\zeta)=
\frac{a_2-1}{a_2}{{\mathrm{ord}}}_p(a_3-a_2)=O({\mathrm{size}}(f))$.\
In other words, we can simply apply Hensel’s Lemma to $f$ and use a root of $f$ in $p^{{{\mathrm{ord}}}_p(a_3-a_2)/a_2}({\mathbb{Z}}/p^{2{{\mathrm{ord}}}_p(a_3-a_2)+1}{\mathbb{Z}})$ as a certificate for a non-degenerate root of $f$ in ${\mathbb{Q}}_p$.

For $\zeta\!\in\!{\mathbb{C}}_p$ a root of $f$ with valuation $0$ we then obtain ${{\mathrm{ord}}}_p f'(\zeta)\!\geq\!{{\mathrm{ord}}}_p(a_3-a_2)$, thanks to identity ($\star$) from the non-degenerate case. Note also that $r'(\zeta)\!=\!\frac{f'(\zeta)}{(\zeta-1)^2}-2\frac{f(\zeta)}
{(\zeta-1)^3}\!=\!\frac{f'(\zeta)}{(\zeta-1)^2}$. Employing the product formula from Lemma \[lemma:syl\] we then obtain\
${{\mathrm{ord}}}_p \Delta \!=\! 
\left(\sum\limits_{r(\zeta)=0} {{\mathrm{ord}}}_p f'(\zeta)\right)-2{{\mathrm{ord}}}_p 
\prod\limits_{r(\zeta)=0} (\zeta-1)\!=\!\left(\sum\limits_{r(\zeta)=0} 
{{\mathrm{ord}}}_p f'(\zeta)\right)-2{{\mathrm{ord}}}_p r(1)$\
since. From our proof of Part (4) of Corollary
> \!0 $ (resp.   $ 0 $) in $ { \mathbb{C}}_p$. Observe that $ f'(\zeta)\!=\!a_2a_3\zeta^{a_2 - 1}(\zeta^{a_3 - a_2}-1)$. 

 For $ \zeta\!\in\!{\mathbb{C}}_p$ a root of $ f$ with valuation $ \frac{{{\mathrm{ord}}}_p (a_3 - a_2)}{a_2}$ we then obtain\ 
 $ { { \mathrm{ord}}}_p f'(\zeta)= 
 \frac{a_2 - 1}{a_2}{{\mathrm{ord}}}_p(a_3 - a_2)=O({\mathrm{size}}(f))$.\ 
 In other actor's line, we can plainly apply Hensel ’s Lemma to $ f$ and use a root of $ f$ in $ p^{{{\mathrm{ord}}}_p(a_3 - a_2)/a_2}({\mathbb{Z}}/p^{2{{\mathrm{ord}}}_p(a_3 - a_2)+1}{\mathbb{Z}})$ as a security for a non - degenerate root of $ f$ in $ { \mathbb{Q}}_p$. 

 For $ \zeta\!\in\!{\mathbb{C}}_p$ a root of $ f$ with evaluation $ 0 $ we then prevail $ { { \mathrm{ord}}}_p f'(\zeta)\!\geq\!{{\mathrm{ord}}}_p(a_3 - a_2)$, thanks to identity ($ \star$) from the non - degenerate event. Note also that $ r'(\zeta)\!=\!\frac{f'(\zeta)}{(\zeta-1)^2}-2\frac{f(\zeta) } 
 { (\zeta-1)^3}\!=\!\frac{f'(\zeta)}{(\zeta-1)^2}$. hire the product formula from Lemma \[lemma: syl\ ] we then obtain\ 
 $ { { \mathrm{ord}}}_p \Delta \!=\! 
 \left(\sum\limits_{r(\zeta)=0 } { { \mathrm{ord}}}_p f'(\zeta)\right)-2{{\mathrm{ord}}}_p 
 \prod\limits_{r(\zeta)=0 } (\zeta-1)\!=\!\left(\sum\limits_{r(\zeta)=0 } 
 { { \mathrm{ord}}}_p f'(\zeta)\right)-2{{\mathrm{ord}}}_p r(1)$\ 
 since. From our validation of Part (4) of Corollary
>\!0$ (redp. $0$) in ${\mathbb{C}}_p$. Observe tmat $f'(\zeta)\!=\!a_2a_3\zeta^{a_2-1}(\eera^{a_3-a_2}-1)$.

Foc $\zeta\!\ih\!{\mathbb{C}}_o$ a root of $f$ with valuation $\feac{{{\maukrm{ord}}}_p (a_3-a_2)}{a_2}$ we then ubtain\
${{\matjrm{ord}}}_p d'(\zete)=
\frac{a_2-1}{a_2}{{\mathrm{ord}}}_'(z_3-a_2)=O({\mathvi{sizs}}(n))$.\
In ochxr words, we can simply ap[ly Hensel’s Lekmx co $f$ and use a root of $f$ in $p^{{{\mathrm{owd}}}_p(a_3-a_2)/a_2}({\mstjbb{Z}}/p^{2{{\mathrm{ord}}}_k(a_3-a_2)+1}{\mauhbf{Z}})$ aa a certificate for a non-degenerats root mf $f$ in ${\mathbn{Q}}_p$.

For $\zeta\!\in\!{\mathbb{C}}_p$ a rolt ov $f$ with valuation $0$ we then ovtaig ${{\mathrm{ord}}}_p w'(\zeta)\!\geq\!{{\mauhxm{ord}}}_p(a_3-a_2)$, thznks to identity ($\star$) from the von-deyenerate cawe. Nohg also that $c'(\zeta)\!=\!\fgac{f'(\zeta)}{(\zeta-1)^2}-2\fvsc{f(\zetd)}
{(\zeta-1)^3}\!=\!\frsc{f'(\zeta)}{(\zeta-1)^2}$. Emiloyiig tye product formula frmm Lemma \[lemma:syl\] re then ottcin\
${{\mathrm{ord}}}_p \Delta \!=\! 
\oedt(\sum\nimids_{r(\zdra)=0} {{\oatgrk{odd}}}_p f'(\zfta)\cight)-2{{\mathrm{krd}}}_p 
\prod\linits_{r(\zeta)=0} (\zeta-1)\!=\!\left(\sim\jpkits_{r(\zeta)=0} 
{{\mafhrm{orq}}}_p f'(\zeta)\right)-2{{\mathrm{ord}}}_p r(1)$\
since. From our pgoof of Part (4) of Corollary
>\!0$ (resp. $0$) in ${\mathbb{C}}_p$. Observe that $\zeta\!\in\!{\mathbb{C}}_p$ root of with valuation $\frac{{{\mathrm{ord}}}_p f'(\zeta)= In other words, can simply apply Lemma to $f$ and use a of $f$ in $p^{{{\mathrm{ord}}}_p(a_3-a_2)/a_2}({\mathbb{Z}}/p^{2{{\mathrm{ord}}}_p(a_3-a_2)+1}{\mathbb{Z}})$ as a certificate for a non-degenerate root of $f$ ${\mathbb{Q}}_p$. For $\zeta\!\in\!{\mathbb{C}}_p$ a root of $f$ with valuation $0$ we then obtain f'(\zeta)\!\geq\!{{\mathrm{ord}}}_p(a_3-a_2)$, to ($\star$) the non-degenerate case. Note also that $r'(\zeta)\!=\!\frac{f'(\zeta)}{(\zeta-1)^2}-2\frac{f(\zeta)} {(\zeta-1)^3}\!=\!\frac{f'(\zeta)}{(\zeta-1)^2}$. Employing the product formula from Lemma \[lemma:syl\] we obtain\ ${{\mathrm{ord}}}_p \Delta \!=\! \left(\sum\limits_{r(\zeta)=0} {{\mathrm{ord}}}_p f'(\zeta)\right)-2{{\mathrm{ord}}}_p \prod\limits_{r(\zeta)=0} {{\mathrm{ord}}}_p f'(\zeta)\right)-2{{\mathrm{ord}}}_p r(1)$\ since. our proof of Part (4) Corollary
>\!0$ (resp. $0$) in ${\mathbb{C}}_p$. Observe that $F'(\zeta)\!=\!a_2a_3\zetA^{a_2-1}(\zetA^{a_3-a_2}-1)$.

for $\ZeTa\!\in\!{\MathBb{C}}_p$ a root of $f$ wiTH valUation $\frac{{{\mathrm{ord}}}_p (a_3-a_2)}{A_2}$ we thEn OBtaiN\
${{\MaThrm{oRd}}}_p f'(\zetA)=
\FrAC{A_2-1}{a_2}{{\mAtHrM{orD}}}_p(A_3-A_2)=O({\MathrM{siZe}}(f))$.\
In otHer words, we Can SiMply apply HenSEl’S Lemma to $f$ aNd uSe a root of $f$ in $P^{{{\maThrm{orD}}}_p(A_3-a_2)/a_2}({\MAthbb{z}}/p^{2{{\mAthrm{Ord}}}_p(a_3-a_2)+1}{\MAthbb{Z}})$ As a certifIcATe for a NOn-degenERAtE rooT of $f$ in ${\mathbb{Q}}_p$.

For $\ZEtA\!\In\!{\mathbb{C}}_p$ a rooT of $f$ wiTh VAlUATioN $0$ we Then obtain ${{\MaThrm{oRD}}}_p f'(\zeta)\!\GEq\!{{\MATHrm{ORd}}}_p(a_3-a_2)$, thanks to Identity ($\staR$) FroM the noN-dEgeNErate cAse. NoTe ALso That $r'(\zeta)\!=\!\frAc{f'(\zEta)}{(\zeta-1)^2}-2\frAc{f(\zetA)}
{(\Zeta-1)^3}\!=\!\fraC{F'(\zeta)}{(\zeTa-1)^2}$. EmplOyiNg tHe prODuCt ForMuLA frOM LEmmA \[LemMa:syl\] we tHeN oBtain\
${{\MathRM{ORD}}}_p \DeLta \!=\! 
\Left(\Sum\liMits_{r(\zeta)=0} {{\mathRm{oRd}}}_p f'(\ZEta)\Right)-2{{\MathrM{ord}}}_P 
\pRod\liMits_{r(\zEta)=0} (\zeTa-1)\!=\!\Left(\sum\limits_{r(\zEta)=0} 
{{\mAthrm{ord}}}_p F'(\zeTa)\RigHt)-2{{\MathrM{Ord}}}_p r(1)$\
sIncE. FrOm our prOof of PaRT (4) of coROLLaRy
>\!0$ (resp. $0$) in ${\ma thbb{C}}_p $. Ob ser veth at $ f'(\ zeta)\!=\!a_2a _ 3\ze ta^{a_2-1}(\zeta^{a_3- a_2}- 1) $ .

F o r$\zet a\!\in\ ! {\ m a thb b{ C} }_p $a  r oot o f $ f$ with  valuation  $\ fr ac{{{\mathrm { or d}}}_p (a_ 3-a _2)}{a_2}$ w e t hen ob ta in\ ${{\m ath rm{or d}}}_p f'(\ze ta)=
\fra c{ a _2-1}{ a _2}{{\m a t hr m{or d}}}_p(a_3-a_2)=O ( {\ m athrm{size}}(f ))$.\In ot h e r w ord s, we cansi mplya pply He n se l ’ s  Le m ma to $f$ and  use a root of$f$ in  $ p^{ { {\math rm{or d} } }_p (a_3-a_2)/a _2}( {\mathbb{ Z}}/p^ { 2{{\mat h rm{ord} }}_p(a _3- a_2 )+1} { \m at hbb {Z } })$ as  ac ert ificatefo ra non -deg e n e r ateroo t of  $f$in ${\mathbb{ Q}} _p$. 
Fo r $\z eta\! \in\ !{ \math bb{C}} _p$ a  r oot of $f$ with  val uation $0 $ w ethe nobtai n  ${{\m ath rm{ ord}}}_ p f'(\z e ta) \! \ g e q\ !{{\mathrm{ord}}}_ p( a _ 3- a_2)$, t hankst oid e ntity ($ \s tar $) f r o m the  non - de generate  case. No te  also t ha t $r'( \z eta )\! =\!\f r ac{f '(\zet a)}{(\ze ta-1) ^ 2}-2\frac{f(\z e ta)}
{(\zeta- 1 )^ 3 } \! = \!\f rac {f'(\zeta)} {(\z e ta-1 )^2} $ .Emp l oying  thepr o du c t formula from Lemm a\[lemm a:syl \] we then ob tain\
${{\ m a t hrm{ord} }}_p \D e lta \!=\! 
\le ft(\s um\limits_ { r(\zeta) =0} { {\mathrm {ord}}}_p f '(\zeta) \ri ght )-2 {{\ m a th rm{ord}}}_p \ p rod\ li mits_{r (\z eta)=0}  (\ zet a-1 )\! =\ !\left(\s um\limit s_ {r (\ ze ta) =0} { {\mathrm {o rd} }} _pf'(\z e ta)\ri ght)- 2{{\ ma th r m{o rd}}}_p r( 1 ) $\
s in ce . Fr omou r pro of o f  Pa rt (4)of Coroll ary 
>\!0$ (resp. $0$)_in ${\mathbb{C}}_p$._Observe that $f'(\zeta)\!=\!a_2a_3\zeta^{a_2-1}(\zeta^{a_3-a_2}-1)$.

For $\zeta\!\in\!{\mathbb{C}}_p$_a root_of_$f$ with_valuation_$\frac{{{\mathrm{ord}}}_p (a_3-a_2)}{a_2}$ we_then obtain\
${{\mathrm{ord}}}_p f'(\zeta)=
\frac{a_2-1}{a_2}{{\mathrm{ord}}}_p(a_3-a_2)=O({\mathrm{size}}(f))$.\
In_other words, we can_simply apply Hensel’s_Lemma_to $f$ and use a root of $f$ in $p^{{{\mathrm{ord}}}_p(a_3-a_2)/a_2}({\mathbb{Z}}/p^{2{{\mathrm{ord}}}_p(a_3-a_2)+1}{\mathbb{Z}})$ as a certificate for_a_non-degenerate root_of_$f$_in ${\mathbb{Q}}_p$.

For $\zeta\!\in\!{\mathbb{C}}_p$ a root_of $f$ with valuation $0$_we then_obtain ${{\mathrm{ord}}}_p f'(\zeta)\!\geq\!{{\mathrm{ord}}}_p(a_3-a_2)$, thanks to identity ($\star$) from_the_non-degenerate case. Note_also that $r'(\zeta)\!=\!\frac{f'(\zeta)}{(\zeta-1)^2}-2\frac{f(\zeta)}
{(\zeta-1)^3}\!=\!\frac{f'(\zeta)}{(\zeta-1)^2}$. Employing the product formula from Lemma_\[lemma:syl\] we then obtain\
${{\mathrm{ord}}}_p \Delta \!=\!_
\left(\sum\limits_{r(\zeta)=0} {{\mathrm{ord}}}_p f'(\zeta)\right)-2{{\mathrm{ord}}}_p_
\prod\limits_{r(\zeta)=0}_(\zeta-1)\!=\!\left(\sum\limits_{r(\zeta)=0}_
{{\mathrm{ord}}}_p f'(\zeta)\right)-2{{\mathrm{ord}}}_p r(1)$\
since. From_our proof of Part (4) of_Corollary