, each $M_i$ is DBC of $(S^3,k_i)$ for $i=0,\cdots,m$ and it is also a prime manifold as already proved. Moreover, each $k_i$ must be prime by Corollary 4 of [@KT]. Since $k$ is in a thin position, each summand $k_i$ must be in a thin position. This complete the proof of Theorem \[theorem-1\].

A generalization of Theorem \[theorem-1\]\[section-critical\]
=============================================================

In this section, we will generalize Theorem \[theorem-1\] using the concept *critical surface*. D. Bachman introduced a concept “critical surface” in [@Bachman1] and prove several properties about critical surface and minimal common stabilization. Also he proved Gordon’s conjecture (see Problem 3.91 of [@K]) using critical surface theory in [@Bachman3]. In particular, he used the term *topological minimal surface* to denote the class of surfaces such that they are incompressible, strongly irreducible or critical in [@Bachman4].

\[definition-critical\] Let $H$ be a Heegaard surface in some $3$-manifold which is compressible to both sides. The surface $H$ is *critical* if the set of all compressing disks for $H$ can be partitioned into subsets $C_0$ and $C_1$ such that the following hold.

1.  For each $i=0,1$ there is at least one weak reducing pair $(V_i,W_i)$, where $V_i$, $W_i\in C_i$.

2.  If $V\in C_0$ and $W\in C_1$ then $(V,W)$ is not a weak reducing pair.

Suppose $H$ is a GHS of a $3$-manifold $M$ with no $S^3$ components. Then $H$ is *psudo-critical* if each thick surface $H_+\in \operatorname{Thick}(H)$ is strongly irreducible or critical in $M(H_+)$.[^3]

Now we introduce a generalization of Theorem \[theorem-1\].

\[corollary-1\] If a thin position of a knot $k$ induces a manifold decomposition of double branched cover $M$ of $(S^3,k)$ by
, each $ M_i$ is DBC of $ (S^3,k_i)$ for $ i=0,\cdots, m$ and it is also a prime manifold as already proved. furthermore, each $ k_i$ must be premier by Corollary 4 of [ @KT ]. Since $ k$ is in a thin position, each summand $ k_i$ must be in a flimsy status. This complete the proof of Theorem \[theorem-1\ ]. 

 A abstraction of Theorem \[theorem-1\]\[section - critical\ ] 
 = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = 

 In this section, we will generalize Theorem \[theorem-1\ ] using the concept * critical open *. D. Bachman introduced a concept “ critical surface ” in [ @Bachman1 ] and raise several properties about critical airfoil and minimal coarse stabilization. Also he proved Gordon ’s conjecture (see Problem 3.91 of [ @K ]) using critical open theory in [ @Bachman3 ]. In particular, he used the terminus * topological minimal surface * to denote the class of surfaces such that they are incompressible, powerfully irreducible or critical in [ @Bachman4 ]. 

 \[definition - critical\ ] Let $ H$ be a Heegaard airfoil in some $ 3$-manifold which is compressible to both sides. The surface $ H$ is * critical * if the set of all compression disks for $ H$ can be partitioned into subsets $ C_0 $ and $ C_1 $ such that the following hold. 

 1.   For each $ i=0,1 $ there is at least one weak reduce pair $ (V_i, W_i)$, where $ V_i$, $ W_i\in C_i$. 

 2.   If $ V\in C_0 $ and $ W\in C_1 $ then $ (V, W)$ is not a weak reducing pair. 

 Suppose $ H$ is a GHS of a $ 3$-manifold $ M$ with no $ S^3 $ components. Then $ H$ is * psudo - critical * if each thick open $ H_+\in \operatorname{Thick}(H)$ is strongly irreducible or critical in $ M(H_+)$.[^3 ] 

 Now we insert a abstraction of Theorem \[theorem-1\ ]. 

 \[corollary-1\ ] If a thin position of a knot $ k$ induces a manifold decomposition of double branched cover $ M$ of $ (S^3,k)$ by
, eafh $M_i$ is DBC of $(S^3,k_i)$ for $l=0,\cdots,m$ and it is also e prime manifola as already proved. Moreover, eqch $k_u$ must be prime by Corullary 4 ov [@KT]. Sinxe $k$ us in a thmh positljn, ezgh suknand $k_i$ must bg in a thin [osition. This wooppete the proof of Theorem \[theorem-1\].

A deneralozwtion of Theorgm \[thtorqm-1\]\[sedniin-critical\]
=============================================================

In this section, we sill geieralize Theorek \[theorem-1\] using the conceph *crltical surface*. D. Bwchman intriducqe a concept “zritical slxface” in [@Badhman1] and prove several propertkes ayout criticql sugxace and miiimal bommon stabilldation. Dlso he proved Gordon’x cmnjwcture (see Problem 3.91 oh [@K]) using critical sorface themrv in [@Bachman3]. In partixuoar, hg useg thd tefm *uopplkgical miiimal surfade* to denotw the class of surfscqw such that tgey arq yncompressible, strongly irreducible or britjcal in [@Bachman4].

\[definitiin-critical\] Let $H$ be a Heegaard surface in some $3$-manifold which is compressible tm boti ridts. The ryrvace $H$ is *critical* if the set of all compressyhg dpsks for $H$ can be partitionec lnyj subsets $C_0$ avd $C_1$ sbdh that the followinh hold.

1.  For wach $i=0,1$ thtre ix at least one weak reducint pair $(V_i,W_i)$, cheee $V_i$, $W_i\in C_i$.

2.  If $R\in C_0$ and $W\iu C_1$ thgn $(V,W)$ os not a weak reducing 'air.

Sulpose $H$ is w GHS of z $3$-manifold $M$ with no $S^3$ components. Then $H$ is *psudj-critical* if zach thizk sorface $R_+\in \operatlrnamc{Dhick}(H)$ is strongly irrebucibne or critlcal in $M(H_+)$.[^3]

Now we introduce a geixralization og Dhemrem \[thejrem-1\].

\[cprollary-1\] If a thin position of a kuot $k$ knduces a janifolv decomposityon of double hranched covxr $M$ of $(S^3,h)$ by
, each $M_i$ is DBC of $(S^3,k_i)$ and is also prime manifold as must prime by Corollary of [@KT]. Since is in a thin position, each $k_i$ must be in a thin position. This complete the proof of Theorem A generalization of Theorem \[theorem-1\]\[section-critical\] ============================================================= In this section, we will generalize Theorem using concept surface*. Bachman introduced a concept “critical surface” in [@Bachman1] and prove several properties about critical surface and common stabilization. Also he proved Gordon’s conjecture (see 3.91 of [@K]) using surface theory in [@Bachman3]. In he the term minimal to the class of such that they are incompressible, strongly irreducible or critical in [@Bachman4]. \[definition-critical\] Let $H$ be a Heegaard in some is compressible both The $H$ is *critical* set of all compressing disks for partitioned into subsets $C_0$ and $C_1$ such that following hold. For each $i=0,1$ there is at one weak reducing pair $(V_i,W_i)$, where $V_i$, $W_i\in 2. If $V\in C_0$ and $W\in C_1$ then $(V,W)$ is not a weak reducing pair. is a GHS of $3$-manifold $M$ with $S^3$ Then is if each surface $H_+\in \operatorname{Thick}(H)$ is strongly irreducible or critical in $M(H_+)$.[^3] Now introduce a generalization of Theorem \[theorem-1\]. \[corollary-1\] If a thin a $k$ induces a decomposition of double branched $M$ $(S^3,k)$ by
, each $M_i$ is DBC of $(S^3,k_i)$ for $i=0,\cdots,M$ and it is alSo a prIme ManIfOld aS alrEady proved. MoreOVer, eAch $k_i$ must be prime by CoroLlary 4 Of [@kt]. SinCE $k$ Is in a Thin posITiON, EacH sUmManD $k_I$ MuSt be iN a tHin posiTion. This coMplEtE the proof of THEoRem \[theorem-1\].

a geNeralization Of THeorem \[ThEorEM-1\]\[sectIon-CritiCal\]
=============================================================

In tHIs sectIon, we will GeNEralizE theorem \[THEoRem-1\] uSing the concept *criTIcAL surface*. D. BachmAn intrOdUCeD A ConCepT “critical sUrFace” iN [@bachman1] ANd PROVe sEVeral propertiEs about critICal SurfacE aNd mINimal cOmmon StABilIzation. Also He prOved GordoN’s conjECture (seE problem 3.91 Of [@K]) usiNg cRitIcal SUrFaCe tHeORy iN [@baChmAN3]. In ParticulAr, He Used tHe teRM *TOPoloGicAl miNimal Surface* to denoTe tHe clASs oF surfAces sUch tHaT they Are incOmpreSsIble, strongly irrEducIble or criTicAl In [@BAcHman4].

\[dEFinitiOn-cRitIcal\] Let $h$ be a HeeGAarD sURFAcE in some $3$-manifold whiCh IS CoMpressibLe to boTH sIdES. The surfAcE $H$ iS *criTICal* if The sET oF all compRessinG DiSkS for $H$ caN bE partiTiOneD inTo subSEts $C_0$ And $C_1$ suCh that thE follOWing hold.

1.  For eacH $I=0,1$ there is at leaST oNE WeAK redUciNg pair $(V_i,W_i)$, wHere $v_I$, $W_i\iN C_i$.

2.  IF $v\iN C_0$ aND $W\in C_1$ Then $(V,w)$ iS NoT A weak reducing pair.

SuPpOse $H$ is A GHS oF a $3$-manifold $M$ wiTh no $S^3$ compoNENTs. Then $H$ iS *psuDO-cRItical* if each thIck suRface $H_+\in \opERatornamE{ThicK}(H)$ is stroNgly irredUCIble or crItiCal In $M(h_+)$.[^3]

NoW WE iNtroduce a geneRALizaTiOn of TheOreM \[theoreM-1\].

\[coRolLarY-1\] If A tHin positiOn of a knoT $k$ InDuCeS a mAnifoLD decompoSiTioN oF doUble bRAnched Cover $m$ of $(S^3,K)$ bY
, each $M_i$ is DBC of $(S ^3,k_i)$ f or $i =0, \cd ot s,m$  and  it is also ap rime  manifold as already p roved .M oreo v er , eac h $k_i$ mu s t  be  p ri meby Co rolla ry4 of [@ KT]. Since  $k $is in a thin po sition, ea chsummand $k_i $ m ust be  i n a thinpos ition . This comple te the pr oo f  of Th e orem \[ t h eo rem- 1\].

A generaliz a ti o n of Theorem \ [theor em - 1\ ] \ [se cti on-critica l\ ]
=== = ======= = == = = = === = ============= =========== = === ====== == === = 

In t his s ec t ion , we will g ener alize The orem \ [ theorem - 1\] usi ng the  co nce pt * c ri ti cal  s u rfa c e* . D .  Ba chman in tr od uceda co n c e p t “c rit ical  surf ace” in [@Bac hma n1]a ndprove  seve ralpr opert ies ab out c ri tical surface a nd m inimal co mmo nsta bi lizat i on. Al soheprovedGordon’ s  co nj e c t ur e (see Problem 3.9 1o f  [ @K]) usi ng cri t ic al surfaceth eor y in [ @Bach man3 ] .In parti cular, he  u sed the  t erm *t op olo gic al mi n imal  surfa ce* to d enote the class of s u rfaces such t h at t he y  are  in compressibl e, s t rong ly i r re duc i ble o r cri ti c al in [@Bachman4].

\[ de finiti on-cr itical\] Let$H$ be a H e e g aard sur face in some $3$-manif old w hich is co m pressibl e toboth sid es. The s u r face $H$  is  *c rit ica l *  i f the set ofa l l co mp ressing  di sks for  $H $ c anbepa rtitioned  into su bs et s$C _0$  and$ C_1$ suc htha tthe  foll o wing h old.
1. F or eac h $i=0, 1 $t h ereis  a t le ast  o ne we ak r e duc ing pai r $(V_i,W _i) $ , wh er e$V_i$,$W_i\in C_i$. 
2.  If $V\ in  C_ 0$ and $ W\in C_1 $ then $(V,W)$ is not a weak re duc ing p air. 

Suppose  $H $ is a  GH S  of a$3$-ma nifol d$M$ w ith n o $S ^3$  c omponents. T hen  $H$is  *ps udo-cri tical* if each thi c k s urface $H_+\i n \ oper a t or nam e {T h ick }( H )$i s  strongly irred ucible orcr i ti cal in $M( H _+) $. [^3]

N ow we i ntrod u ce a ge neralizat ion of Th eo rem\ [ the orem-1\].
\[corol lary-1\]I f a t h in  posi tio n of a  k not  $k$induce s  amanif old de co mposit ion o fdouble b ranched cover $M$ of $( S^3,k) $ by
, each_$M_i$ is_DBC of $(S^3,k_i)$ for_$i=0,\cdots,m$ and_it_is also_a_prime manifold as_already proved. Moreover,_each $k_i$ must be_prime by Corollary_4_of [@KT]. Since $k$ is in a thin position, each summand $k_i$ must be_in_a thin_position._This_complete the proof of Theorem_\[theorem-1\].

A generalization of Theorem \[theorem-1\]\[section-critical\]
=============================================================

In_this section,_we will generalize Theorem \[theorem-1\] using the concept_*critical_surface*. D. Bachman_introduced a concept “critical surface” in [@Bachman1] and prove_several properties about critical surface and_minimal common stabilization._Also_he_proved Gordon’s conjecture (see_Problem 3.91 of [@K]) using critical_surface theory in [@Bachman3]. In particular,_he used the term *topological minimal surface*_to denote the class of surfaces_such that they are incompressible,_strongly irreducible_or critical in [@Bachman4].

\[definition-critical\] Let_$H$ be a_Heegaard surface_in some $3$-manifold_which is compressible to both sides._The surface $H$_is *critical* if the set of_all_compressing disks for_$H$_can_be partitioned_into subsets $C_0$_and_$C_1$ such_that_the following hold.

1.  For each_$i=0,1$_there is at least one weak reducing_pair $(V_i,W_i)$, where $V_i$,_$W_i\in_C_i$.

2.  If $V\in_C_0$ and $W\in C_1$ then_$(V,W)$ is not a weak reducing_pair.

Suppose $H$_is a_GHS of a $3$-manifold $M$ with no $S^3$ components. Then $H$_is *psudo-critical* if each thick surface_$H_+\in \operatorname{Thick}(H)$ is strongly_irreducible or_critical_in $M(H_+)$.[^3]

Now we_introduce_a generalization_of Theorem \[theorem-1\].

\[corollary-1\] If a thin position_of a_knot $k$ induces a manifold decomposition_of double branched cover_$M$_of $(S^3,k)$ by