{\mathcal{O}}}_0'$-homomorphism $$\label{eq_proof_weierstrass_div_map}
{\ensuremath{\mathcal{O}}}_0^F\ni f\mapsto (f_0',\ldots,f'_{d-1})\in({\ensuremath{\mathcal{O}}}_0^{\prime F})^{\oplus d}$$ descends to an isomorphism $$\label{eq_proof_weierstrass_iso}
{\ensuremath{\mathcal{O}}}_0^F/h{\ensuremath{\mathcal{O}}}_0^F\xrightarrow{\approx}({\ensuremath{\mathcal{O}}}_0^{\prime F})^{\oplus d}$$ of ${\ensuremath{\mathcal{O}}}_0'$-modules. Composing this with the embedding $$\label{eq_proof_weierstrass_map}
({\ensuremath{\mathcal{O}}}_0^{\prime F})^{\oplus d}\ni (f'_j)\mapsto \sum_j f_j'z_m^j\in{\ensuremath{\mathcal{O}}}_0^F,$$ we obtain an ${\ensuremath{\mathcal{O}}}_0'$-homomorphism $$\label{eq_proof_weierstrass_right_inverse}
{\ensuremath{\mathcal{O}}}_0^F/h{\ensuremath{\mathcal{O}}}_0^F\rightarrow{\ensuremath{\mathcal{O}}}_0^F,$$ which is a right inverse of the canonical projection ${\ensuremath{\mathcal{O}}}_0^F\rightarrow{\ensuremath{\mathcal{O}}}_0^F/h{\ensuremath{\mathcal{O}}}_0^F$.

Now $p:{\ensuremath{\mathcal{O}}}^n_0\rightarrow M$ and $\phi:{\ensuremath{\mathcal{O}}}_0^E\rightarrow M$ of the theorem induce ${\ensuremath{\mathcal{O}}}_0'$-homomorphisms $$p':{\ensuremath{\mathcal{O}}}_0^n/h{\ensuremath{\mathcal{O}}}_0^n\rightarrow M,\text{ }
    \phi':{\ensuremath{\mathcal{O}}}^E_0/h{\ensuremath{\mathcal{O}}}^E_0\rightarrow M,$$ as in, remembering that $hM=0$. Clearly, $p'$ is surjective. Also, by Lemma \[lemma\_depth\_lemmas\_ind\_on\_dim\] ${\mathop{\mathrm{depth}}\nolimits _{{{\mathop{\mathfrak{m}}}}'}} M>0$. Because of the isomorphism, $(T_{m-1})$ implies
{ \mathcal{O}}}_0'$-homomorphism $ $ \label{eq_proof_weierstrass_div_map } 
 { \ensuremath{\mathcal{O}}}_0^F\ni f\mapsto (f_0',\ldots, f'_{d-1})\in({\ensuremath{\mathcal{O}}}_0^{\prime F})^{\oplus d}$$ descends to an isomorphism $ $ \label{eq_proof_weierstrass_iso } 
 { \ensuremath{\mathcal{O}}}_0^F / h{\ensuremath{\mathcal{O}}}_0^F\xrightarrow{\approx}({\ensuremath{\mathcal{O}}}_0^{\prime F})^{\oplus d}$$ of $ { \ensuremath{\mathcal{O}}}_0'$-modules. Composing this with the embedding $ $ \label{eq_proof_weierstrass_map } 
 ({ \ensuremath{\mathcal{O}}}_0^{\prime F})^{\oplus d}\ni (f'_j)\mapsto \sum_j f_j'z_m^j\in{\ensuremath{\mathcal{O}}}_0^F,$$ we obtain an $ { \ensuremath{\mathcal{O}}}_0'$-homomorphism $ $ \label{eq_proof_weierstrass_right_inverse } 
 { \ensuremath{\mathcal{O}}}_0^F / h{\ensuremath{\mathcal{O}}}_0^F\rightarrow{\ensuremath{\mathcal{O}}}_0^F,$$ which is a proper inverse of the basic projection $ { \ensuremath{\mathcal{O}}}_0^F\rightarrow{\ensuremath{\mathcal{O}}}_0^F / h{\ensuremath{\mathcal{O}}}_0^F$. 

 Now $ p:{\ensuremath{\mathcal{O}}}^n_0\rightarrow M$ and $ \phi:{\ensuremath{\mathcal{O}}}_0^E\rightarrow M$ of the theorem induce $ { \ensuremath{\mathcal{O}}}_0'$-homomorphisms $ $ p':{\ensuremath{\mathcal{O}}}_0^n / h{\ensuremath{\mathcal{O}}}_0^n\rightarrow M,\text { } 
     \phi':{\ensuremath{\mathcal{O}}}^E_0 / h{\ensuremath{\mathcal{O}}}^E_0\rightarrow M,$$ as in, remembering that $ hM=0$. distinctly, $ p'$ is surjective. Also, by Lemma \[lemma\_depth\_lemmas\_ind\_on\_dim\ ] $ { \mathop{\mathrm{depth}}\nolimits _ { { { \mathop{\mathfrak{m } } } }' } } M>0$. Because of the isomorphism, $ (T_{m-1})$ implies
{\matjcal{O}}}_0'$-homomorphism $$\label{ed_proof_weierstrass_div_ma'}
{\ensurejath{\mathzal{O}}}_0^F\ni f\mapsto (f_0',\ldots,f'_{d-1})\in({\endueematy{\mathcal{O}}}_0^{\prime F})^{\oplus a}$$ descendd to an usomiephism $$\labxm{eq_proon_ceierabrass_nsi}
{\ensuremath{\matmcal{O}}}_0^F/h{\ensusemath{\mathcal{O}}}_0^X\xfiyhtarrow{\approx}({\ensuremath{\mathcal{O}}}_0^{\primq F})^{\oplux f}$$ of ${\ensurematr{\matnsal{O}}}_0'$-jodules. Composing this with the emgedding $$\label{eq_proof_eeierstrass_map}
({\ensuremath{\mahhcap{O}}}_0^{\prime F})^{\oplus d}\ni (f'_j)\mapsto \soj_j s_h'z_m^j\in{\ensureoath{\mathcal{O}}}_0^F,$$ we obtaih an ${\ensuremath{\mathcal{O}}}_0'$-homomorpfism $$\kabel{eq_proif_qeiftstrass_right_mnversv}
{\ensuremath{\mabncal{O}}}_0^F/v{\ensurekath{\mathcal{O}}}_0^F\rlghtacrow{\wnsuremath{\mathcal{O}}}_0^F,$$ wiich is a right invetse of the ccnonical projection ${\ebsyremajh{\matvcal{U}}}_0^D\riehtzrcow{\snsurelati{\mathcal{O}}}_0^F/h{\snsuremath{\mqthcal{O}}}_0^F$.

Now $p:{\ensurekaey{\mathcal{O}}}^n_0\riggtarror I$ and $\phi:{\ensuremath{\mathcal{O}}}_0^E\rightarrow K$ or the theorem induce ${\enwuremath{\mathcal{O}}}_0'$-homomlrphisms $$[':{\ensuremath{\mathcal{O}}}_0^n/h{\ensuremath{\mathcal{O}}}_0^n\rightarrof M,\teet{ }
    \ihi':{\evwugemath{\mathcal{O}}}^E_0/h{\ensuremath{\mathcal{O}}}^E_0\rightarrow J,$$ ss in, rememberinn that $hM=0$. Clearly, $l'$ ls furjective. Alro, by Lemja \[lemma\_depth\_lemmad\_ind\_on\_dym\] ${\marhop{\mathri{depyh}}\nolimits _{{{\mathop{\mathfrak{m}}}}'}} N>0$. Because of rhe isomorphism, $(T_{m-1})$ implies
{\mathcal{O}}}_0'$-homomorphism $$\label{eq_proof_weierstrass_div_map} {\ensuremath{\mathcal{O}}}_0^F\ni f\mapsto (f_0',\ldots,f'_{d-1})\in({\ensuremath{\mathcal{O}}}_0^{\prime F})^{\oplus d}$$ an $$\label{eq_proof_weierstrass_iso} {\ensuremath{\mathcal{O}}}_0^F/h{\ensuremath{\mathcal{O}}}_0^F\xrightarrow{\approx}({\ensuremath{\mathcal{O}}}_0^{\prime d}$$ of ${\ensuremath{\mathcal{O}}}_0'$-modules. $$\label{eq_proof_weierstrass_map} F})^{\oplus d}\ni (f'_j)\mapsto f_j'z_m^j\in{\ensuremath{\mathcal{O}}}_0^F,$$ we obtain ${\ensuremath{\mathcal{O}}}_0'$-homomorphism $$\label{eq_proof_weierstrass_right_inverse} {\ensuremath{\mathcal{O}}}_0^F/h{\ensuremath{\mathcal{O}}}_0^F\rightarrow{\ensuremath{\mathcal{O}}}_0^F,$$ which is a inverse of the canonical projection ${\ensuremath{\mathcal{O}}}_0^F\rightarrow{\ensuremath{\mathcal{O}}}_0^F/h{\ensuremath{\mathcal{O}}}_0^F$. Now $p:{\ensuremath{\mathcal{O}}}^n_0\rightarrow M$ and $\phi:{\ensuremath{\mathcal{O}}}_0^E\rightarrow M$ of theorem induce ${\ensuremath{\mathcal{O}}}_0'$-homomorphisms $$p':{\ensuremath{\mathcal{O}}}_0^n/h{\ensuremath{\mathcal{O}}}_0^n\rightarrow M,\text{ } \phi':{\ensuremath{\mathcal{O}}}^E_0/h{\ensuremath{\mathcal{O}}}^E_0\rightarrow M,$$ as in, remembering that $hM=0$. $p'$ surjective. by \[lemma\_depth\_lemmas\_ind\_on\_dim\] ${\mathop{\mathrm{depth}}\nolimits _{{{\mathop{\mathfrak{m}}}}'}} M>0$. Because of the isomorphism, $(T_{m-1})$ implies
{\mathcal{O}}}_0'$-homomorphism $$\label{Eq_proof_weiErstrAss_Div_MaP}
{\ensUremAth{\mathcal{O}}}_0^F\ni F\MapsTo (f_0',\ldots,f'_{d-1})\in({\ensuremath{\MathcAl{o}}}_0^{\PrimE f})^{\oPlus d}$$ DescendS To AN IsoMoRpHisM $$\lABeL{eq_prOof_WeierstRass_iso}
{\ensUreMaTh{\mathcal{O}}}_0^F/h{\ENsUremath{\matHcaL{O}}}_0^F\xrightarrOw{\aPprox}({\eNsUreMAth{\maThcAl{O}}}_0^{\prIme F})^{\opLUs d}$$ of ${\eNsuremath{\MaTHcal{O}}}_0'$-mODules. CoMPOsIng tHis with the embeddiNG $$\lABel{eq_proof_weieRstrasS_mAP}
({\eNSUreMatH{\mathcal{O}}}_0^{\pRiMe F})^{\opLUs d}\ni (f'_j)\MApSTO \Sum_J F_j'z_m^j\in{\ensureMath{\mathcal{o}}}_0^f,$$ we Obtain An ${\EnsURemath{\MathcAl{o}}}_0'$-HomOmorphism $$\laBel{eQ_proof_weiErstraSS_right_iNVerse}
{\enSuremaTh{\mAthCal{O}}}_0^f/H{\eNsUreMaTH{\maTHcAl{O}}}_0^f\RigHtarrow{\eNsUrEmath{\MathCAL{o}}}_0^f,$$ whiCh iS a riGht inVerse of the canOniCal pROjeCtion ${\EnsurEmatH{\mAthcaL{O}}}_0^F\rigHtarrOw{\Ensuremath{\mathcAl{O}}}_0^F/H{\ensuremaTh{\mAtHcaL{O}}}_0^f$.

Now $p:{\ENsuremAth{\MatHcal{O}}}^n_0\rIghtarrOW M$ aNd $\PHI:{\EnSuremath{\mathcal{O}}}_0^E\rIgHTArRow M$ of thE theorEM iNdUCe ${\ensureMaTh{\mAthcAL{o}}}_0'$-homoMorpHIsMs $$p':{\ensurEmath{\mAThCaL{O}}}_0^n/h{\ensUrEmath{\mAtHcaL{O}}}_0^n\RightARrow m,\text{ }
    \pHi':{\ensureMath{\mAThcal{O}}}^E_0/h{\ensureMAth{\mathcal{O}}}^E_0\rIGhTARrOW M,$$ as In, rEmembering tHat $hm=0$. cleaRly, $p'$ IS sUrjECtive. also, bY LEMmA \[Lemma\_depth\_lemmas\_ind\_On\_Dim\] ${\matHop{\maThrm{depth}}\noliMits _{{{\mathop{\MATHfrak{m}}}}'}} M>0$. BEcauSE oF The isomorphism, $(t_{m-1})$ impLies
{\mathcal{O}}}_0'$-homomor phism $$\l abel{ eq_ pro of _wei erst rass_div_map}{ \ens uremath{\mathcal{O}}}_ 0^F\n if \map s to  (f_0 ',\ldot s ,f ' _ {d- 1} )\ in( {\ e ns urema th{ \mathca l{O}}}_0^{ \pr im e F})^{\oplu s  d }$$ descen dsto an isomor phi sm $$\ la bel { eq_pr oof _weie rstras s _iso}{\ensurem at h {\math c al{O}}} _ 0 ^F /h{\ ensuremath{\mathc a l{ O }}}_0^F\xright arrow{ \a p pr o x }({ \en suremath{\ ma thcal { O}}}_0^ { \p r i m e F } )^{\oplus d}$ $ of ${\ens u rem ath{\m at hca l {O}}}_ 0'$-m od u les . Composing  thi s with th e embe d ding $$ \ label{e q_proo f_w eie rstr a ss _m ap} 
( { \en s ur ema t h{\ mathcal{ O} }} _0^{\ prim e F } )^{\ opl us d }\ni(f'_j)\mapsto  \s um_j f_j 'z_m^ j\in{ \ens ur emath {\math cal{O }} }_0^F,$$ we obt ainan ${\ens ure ma th{ \m athca l {O}}}_ 0'$ -ho momorph ism $$\ l abe l{ e q _ pr oof_weierstrass_ri gh t _ in verse}
{ \ensur e ma th { \mathcal {O }}} _0^F / h {\ens urem a th {\mathca l{O}}} _ 0^ F\ rightar ro w{\ens ur ema th{ \math c al{O }}}_0^ F,$$ whi ch is a right invers e  of the canon i ca l pr o ject ion  ${\ensurem ath{ \ math cal{ O }} }_0 ^ F\rig htarr ow { \e n suremath{\mathcal{O }} }_0^F/ h{\en suremath{\mat hcal{O}}}_ 0 ^ F $.

Now$p:{ \ en s uremath{\mathc al{O} }}^n_0\rig h tarrow M $ and  $\phi:{ \ensurema t h {\mathca l{O }}} _0^ E\r i g ht arrow M$ of t h e  the or em indu ce${\ensu rem ath {\m ath ca l{O}}}_0' $-homomo rp hi sm s$$p ':{\e n suremath {\ mat hc al{ O}}}_ 0 ^n/h{\ ensur emat h{ \m a thc al{O}}} _ 0^ n \ righ ta rr ow M ,\t ex t{ }   \ phi ':{\ens uremath{\ mat h cal{ O} }} ^E_0/h{ \ensuremath{\ ma thcal{O}}} ^E _0\ righta r r ow M,$$as in, remembering that $hM=0$.  Cl early , $p '$ is sur jec tive.Als o , by L emma \ [lemm a\ _de p t h\_le m m as \_i nd \_on\_dim\ ] ${\ matho p{ \mat hrm{dep th}}\nolimits _{{{ \ mat hop{\mathfrak {m} }}}' } }  M >0$ .  B e cau se oft h e isomorphism,$(T_{m-1}) $i mp lies
{\mathcal{O}}}_0'$-homomorphism $$\label{eq_proof_weierstrass_div_map}
{\ensuremath{\mathcal{O}}}_0^F\ni_f\mapsto (f_0',\ldots,f'_{d-1})\in({\ensuremath{\mathcal{O}}}_0^{\prime_F})^{\oplus d}$$ descends to_an isomorphism_$$\label{eq_proof_weierstrass_iso}
{\ensuremath{\mathcal{O}}}_0^F/h{\ensuremath{\mathcal{O}}}_0^F\xrightarrow{\approx}({\ensuremath{\mathcal{O}}}_0^{\prime_F})^{\oplus d}$$_of_${\ensuremath{\mathcal{O}}}_0'$-modules. Composing this_with the embedding_$$\label{eq_proof_weierstrass_map}
({\ensuremath{\mathcal{O}}}_0^{\prime F})^{\oplus d}\ni (f'_j)\mapsto_\sum_j f_j'z_m^j\in{\ensuremath{\mathcal{O}}}_0^F,$$ we_obtain_an ${\ensuremath{\mathcal{O}}}_0'$-homomorphism $$\label{eq_proof_weierstrass_right_inverse}
{\ensuremath{\mathcal{O}}}_0^F/h{\ensuremath{\mathcal{O}}}_0^F\rightarrow{\ensuremath{\mathcal{O}}}_0^F,$$ which is a right inverse of the canonical projection ${\ensuremath{\mathcal{O}}}_0^F\rightarrow{\ensuremath{\mathcal{O}}}_0^F/h{\ensuremath{\mathcal{O}}}_0^F$.

Now $p:{\ensuremath{\mathcal{O}}}^n_0\rightarrow_M$_and $\phi:{\ensuremath{\mathcal{O}}}_0^E\rightarrow_M$_of_the theorem induce ${\ensuremath{\mathcal{O}}}_0'$-homomorphisms $$p':{\ensuremath{\mathcal{O}}}_0^n/h{\ensuremath{\mathcal{O}}}_0^n\rightarrow_M,\text{ }
   _\phi':{\ensuremath{\mathcal{O}}}^E_0/h{\ensuremath{\mathcal{O}}}^E_0\rightarrow M,$$_as in, remembering that $hM=0$. Clearly, $p'$ is_surjective._Also, by Lemma_\[lemma\_depth\_lemmas\_ind\_on\_dim\] ${\mathop{\mathrm{depth}}\nolimits _{{{\mathop{\mathfrak{m}}}}'}} M>0$. Because of the isomorphism, $(T_{m-1})$_implies