
}
 \end{gathered}$$

By construction, there is an effective ${\mathbb{Q}}$-divisor $E\subset X_2$ and a very ample ${\mathbb{Q}}$-divisor $L_Y$ in $Y$ such that $$\pi_2^*(L_1)  - E \sim_{{\mathbb{Q}}}    \psi_2^*(L_Y).$$ Define $L_3: =  \pi_3^*\big(  \pi_2^*(L_1)   - E \big)$. Let $E_3$ and $E_4$ be two effective exceptional divisors for which we have

$$K_{X_3}  + \underbrace{\widetilde D_3  + E_3}_{:= D_3}   \sim \pi_3^*\big( \pi_2^*(K_{X_1}+D_1)  \big) + E_4,$$ where $\widetilde D_3$ is the birational transform of $D_1$.

We now claim that the two divisors $\big( i\cdot (K_{X_3}  + D_3) \big)$ and $L_3$ together with the fiber space $\psi_3: X_3  \to Z_2$ satisfy the properties listed in Claim \[claim:KeyClaim\] for $Y$, $D$, $L_Y$, $Z$ and $f$.

To see this, first note that $\kappa(L_3)= \kappa(L)$ and that

$$L_3 \sim \psi_3^*  \big( \underbrace{\widetilde \nu^*(L_Y)}_{:= L_{Z_3}} \big),$$ thanks to the commutativity of Diagram \[eq:diag2\].

Next, to verify Property \[item:5k\], let $F_3$ to be a very general fiber of $\psi_3$ and note that

$$0 \leq \kappa(F_3,  (K_{X_3} + D_3)\big|_{F_3})  =  \kappa(F_3,  (i(K_{X_3} + D_3) + L_3)\big|_{F_3}  ),$$ On the other hand we have

$$\label{eq:zero}
\kappa\big(F_3
} 
  \end{gathered}$$ 

 By construction, there is an effective $ { \mathbb{Q}}$-divisor $ E\subset X_2 $ and a very ample $ { \mathbb{Q}}$-divisor $ L_Y$ in $ Y$ such that $ $ \pi_2^*(L_1)   - E \sim_{{\mathbb{Q } } }     \psi_2^*(L_Y).$$ Define $ L_3: =   \pi_3^*\big (  \pi_2^*(L_1)    - E \big)$. lease $ E_3 $ and $ E_4 $ be two effective exceeding divisors for which we have 

 $ $ K_{X_3 }   + \underbrace{\widetilde D_3   + E_3}_{:= D_3 }    \sim \pi_3^*\big (\pi_2^*(K_{X_1}+D_1)   \big) + E_4,$$ where $ \widetilde D_3 $ is the birational transform of $ D_1$. 

 We now claim that the two divisor $ \big (i\cdot (K_{X_3 }   + D_3) \big)$ and $ L_3 $ together with the fiber outer space $ \psi_3: X_3   \to Z_2 $ satisfy the properties listed in Claim   \[claim: KeyClaim\ ] for $ Y$, $ D$, $ L_Y$, $ Z$ and $ f$. 

 To attend this, first note that $ \kappa(L_3)= \kappa(L)$ and that 

 $ $ L_3 \sim \psi_3^ *   \big (\underbrace{\widetilde \nu^*(L_Y)}_{:= L_{Z_3 } } \big),$$ thanks to the commutativity of Diagram   \[eq: diag2\ ]. 

 Next, to affirm Property   \[item:5k\ ], let $ F_3 $ to be a very general character of $ \psi_3 $ and notice that 

 $ $ 0 \leq \kappa(F_3,   (K_{X_3 } + D_3)\big|_{F_3 })   =   \kappa(F_3,   (i(K_{X_3 } + D_3) + L_3)\big|_{F_3 }  ), $ $ On the other hand we get 

 $ $ \label{eq: zero } 
 \kappa\big(F_3

}
 \enf{gathered}$$

By construction, there is an efywctive ${\mathbg{Q}}$-divisof $E\subset X_2$ and a very ample ${\mqthbb{W}}$-divisor $L_Y$ in $Y$ such ghat $$\pi_2^*(L_1)  - E \sim_{{\mqthbu{Q}}}    \psi_2^*(L_Y).$$ Defiis $L_3: =  \pl_3^*\yig(  \ll_2^*(L_1)   - X \big)$. Let $E_3$ and $E_4$ be two affective exce[tkoual divisors for which we have

$$K_{X_3}  + \ugderbrave{\aidetilde D_3  + G_3}_{:= D_3}   \fim \lp_3^*\blg( \pi_2^*(K_{X_1}+D_1)  \big) + E_4,$$ where $\widetilde D_3$ is tie birational ttansform of $D_1$.

We now claim hhat the two divisors $\hig( i\cdot (K_{Z_3}  + Q_3) \big)$ and $L_3$ tugether wiuh the fiber space $\psi_3: X_3  \to Z_2$ satisfy the oropexties listee un Fnaim \[claim:KebClaim\] for $Y$, $D$, $L_Y$, $D$ and $f$.

Do see yhis, first notc thav $\kappa(L_3)= \kappa(L)$ and that

$$L_3 \sim \psi_3^*  \big( \undetbrace{\widedimde \nu^*(L_Y)}_{:= L_{Z_3}} \big),$$ tyabks tm tha coonutxtibivy kf Diahraj \[eq:diag2\].

Nexf, to verify Property \[item:5k\], let $G_3$ ei be a very gsneral fyber of $\psi_3$ and note that

$$0 \leq \kappa(F_3,  (K_{Q_3} + D_3)\gig|_{F_3})  =  \kappa(F_3,  (i(K_{X_3} + D_3) + L_3)\big|_{F_3}  ),$$ On the other hand we rave

$$\label{eq:zero}
\kappa\big(F_3
} \end{gathered}$$ By construction, there is an $E\subset and a ample ${\mathbb{Q}}$-divisor $L_Y$ - \sim_{{\mathbb{Q}}} \psi_2^*(L_Y).$$ Define = \pi_3^*\big( \pi_2^*(L_1) E \big)$. Let $E_3$ and $E_4$ two effective exceptional divisors for which we have $$K_{X_3} + \underbrace{\widetilde D_3 + D_3} \sim \pi_3^*\big( \pi_2^*(K_{X_1}+D_1) \big) + E_4,$$ where $\widetilde D_3$ is the birational of We claim the two divisors $\big( i\cdot (K_{X_3} + D_3) \big)$ and $L_3$ together with the fiber space X_3 \to Z_2$ satisfy the properties listed in \[claim:KeyClaim\] for $Y$, $D$, $Z$ and $f$. To see first that $\kappa(L_3)= and $$L_3 \psi_3^* \big( \underbrace{\widetilde L_{Z_3}} \big),$$ thanks to the commutativity of Diagram \[eq:diag2\]. Next, to verify Property \[item:5k\], let $F_3$ to a very of $\psi_3$ note $$0 \kappa(F_3, (K_{X_3} + \kappa(F_3, (i(K_{X_3} + D_3) + L_3)\big|_{F_3} other hand we have $$\label{eq:zero} \kappa\big(F_3

}
 \end{gathered}$$

By construction, There is an eFfectIve ${\MatHbB{Q}}$-diVisoR $E\subset X_2$ and a vERy amPle ${\mathbb{Q}}$-divisor $L_Y$ in $Y$ Such tHaT $$\Pi_2^*(L_1)  - E \SIm_{{\MathbB{Q}}}    \psi_2^*(L_Y).$$ dEfINE $L_3: =  \pI_3^*\bIg(  \Pi_2^*(L_1)   - e \bIG)$. LEt $E_3$ anD $E_4$ bE two effEctive excePtiOnAl divisors foR WhIch we have

$$K_{x_3}  + \unDerbrace{\wideTilDe D_3  + E_3}_{:= D_3}   \sIm \Pi_3^*\bIG( \pi_2^*(K_{X_1}+d_1)  \biG) + E_4,$$ wheRe $\wideTIlde D_3$ iS the biratIoNAl tranSForm of $D_1$.

wE NoW claIm that the two divisORs $\BIg( i\cdot (K_{X_3}  + D_3) \big)$ aNd $L_3$ togEtHEr WITh tHe fIber space $\pSi_3: x_3  \to Z_2$ sATisfy thE PrOPERtiES listed in ClaiM \[claim:KeyClAIm\] fOr $Y$, $D$, $L_Y$, $z$ aNd $f$.

tO see thIs, firSt NOte That $\kappa(L_3)= \kAppa(l)$ and that

$$L_3 \Sim \psi_3^*  \BIg( \underBRace{\widEtilde \Nu^*(L_y)}_{:= L_{Z_3}} \Big),$$ tHAnKs To tHe COmmUTaTivITy oF Diagram \[Eq:DiAg2\].

NexT, to vERIFY ProPerTy \[itEm:5k\], leT $F_3$ to be a very geNerAl fiBEr oF $\psi_3$ aNd notE thaT

$$0 \lEq \kapPa(F_3,  (K_{X_3} + D_3)\Big|_{F_3})  =  \kApPa(F_3,  (i(K_{X_3} + D_3) + L_3)\big|_{F_3}  ),$$ On tHe otHer hand we HavE

$$\lAbeL{eQ:zero}
\KAppa\biG(F_3

}
 \end{gathered}$$

By c onstructio n, th ere  is  a n ef fect ive ${\mathbb{ Q }}$- divisor $E\subset X_2$  andav erya mp le ${ \mathbb { Q} } $ -di vi so r $ L_ Y $in $Y $ s uch tha t $$\pi_2^ *(L _1 )  - E \sim_ { {\ mathbb{Q}} }   \psi_2^*(L _Y) .$$ De fi ne$ L_3:= \pi_3 ^*\big (   \pi_ 2^*(L_1) -  E \bi g )$. Let $ E_ 3$ a nd $E_4$ be two e f fe c tive exception al div is o rs f orwhi ch we have 
$$K_{ X _3}  +\ un d e r bra c e{\widetildeD_3  + E_3} _ {:=  D_3} \si m  \pi_3 ^*\bi g( \pi _2^*(K_{X_1 }+D_ 1)  \big)  + E_4 , $$ wher e  $\wide tildeD_3 $ i s th e  b ir ati on a l t r an sfo r m o f $D_1$. 
We  nowclai m t h at t hetwodivis ors $\big( i\ cdo t (K _ {X_ 3}  +  D_3)  \bi g) $ and  $L_3$  toge th er with the fib er s pace $\ps i_3 :X_3  \to Z _ 2$ sat isf y t he prop ertiesl ist ed i n  C laim \[claim:KeyCl ai m \ ]for $Y$,  $D$,$ L_ Y$ ,  $Z$ and  $ f$. 

To s ee th is,f ir st notethat $ \ ka pp a(L_3)=  \ kappa( L) $ a ndthat$$L_ 3 \sim  \psi_3^ *  \b i g( \underbrace { \widetilde \n u ^* ( L _Y ) }_{: = L _{Z_3}} \bi g),$ $  tha nkst othe commu tativ it y  o f  Diagram \[eq:diag2 \] .

Nex t, to  verify Prope rty \[item : 5 k \], let$F_3 $  t o  be a very gen eralfiber of $ \ psi_3$ a nd no te that
$$0 \leq \ kappa(F_ 3, (K _{X _3} +  D _3)\big|_{F_3 } )   = \ kappa(F _3,   (i(K_ {X_ 3}+ D _3)  +  L_3)\big |_{F_3} ) ,$ $On  th e oth e r hand w ehav e
$$ \labe l {eq:ze ro}
\ kapp a\ bi g (F_ 3

}
 \end{gathered}$$

By_construction, there_is an effective ${\mathbb{Q}}$-divisor_$E\subset X_2$_and_a very_ample_${\mathbb{Q}}$-divisor $L_Y$ in_$Y$ such that_$$\pi_2^*(L_1)  - E_\sim_{{\mathbb{Q}}}  __\psi_2^*(L_Y).$$ Define $L_3: =  \pi_3^*\big(  \pi_2^*(L_1)   - E \big)$. Let_$E_3$_and $E_4$_be_two_effective exceptional divisors for which_we have

$$K_{X_3}  + \underbrace{\widetilde_D_3 _+ E_3}_{:= D_3}   \sim \pi_3^*\big( \pi_2^*(K_{X_1}+D_1)__\big) + E_4,$$_where $\widetilde D_3$ is the birational transform of $D_1$.

We_now claim that the two divisors_$\big( i\cdot (K_{X_3}__+_D_3) \big)$ and $L_3$_together with the fiber space $\psi_3:_X_3  \to Z_2$ satisfy the_properties listed in Claim \[claim:KeyClaim\] for $Y$, $D$,_$L_Y$, $Z$ and $f$.

To see this,_first note that $\kappa(L_3)= \kappa(L)$_and that

$$L_3_\sim \psi_3^*  \big( \underbrace{\widetilde_\nu^*(L_Y)}_{:= L_{Z_3}} \big),$$_thanks to_the commutativity of_Diagram \[eq:diag2\].

Next, to verify Property \[item:5k\], let $F_3$_to be a_very general fiber of $\psi_3$ and_note_that

$$0 \leq \kappa(F_3,__(K_{X_3}_+ D_3)\big|_{F_3})_ = _\kappa(F_3,_ (i(K_{X_3}_+_D_3) + L_3)\big|_{F_3}  ),$$ On_the_other hand we have

$$\label{eq:zero}
\kappa\big(F_3