(C_1)(C_2)(C_3)}X_1$ such that $\Gamma_2\subseteq \Gamma_3'$. Again we are interested only in $(\Delta_3, \Gamma_2)$.

[Claim 3 ]{} The theory $T_3=(\Theta_2\cup \Delta_3\cap \Sg^{\A(C_1)(C_2)(C_3)}X_2, \Gamma_2^*)$ is consistent in $\Sg^{\A(C_1)(C_2)(C_3)}X_2.$

[Proof of Claim 3]{} Seeking a contradiction, assume that the Claim does not hold. Then we would get for some $\theta_2\in \Theta_2$, $E_3\in \Delta_3\cap \Sg^{\A(C_1)(C_2)(C_3)}X_2$ and some disjunction $\mu_2^*\in \Gamma_2^*,$ that $\theta_2\land E_3\leq \mu_2^*.$ Hence $E_3\leq \theta_2\rightarrow \mu_2^*.$ For any finite set $D\subseteq C_3\sim (C_1\cup C_2),$ we have ${\sf c}_{(D)}E_3\leq \theta_2\rightarrow \mu_2^*$. By lemma \[cylindrify\], there is a finite set $D_3\subseteq C_3\sim (C_1\cup C_2),$ satisfying $$\begin{split}
{\sf c}_{(D_3)}E_3
&\in \Nr_{\alpha\cup C_1\cup C_2}\Sg^{\A(C_1)(C_2)(C_3)}X_1\\
&=\Sg^{\Nr_{\alpha\cup C_1\cup C_2}\A(C_1)C_2)(C_3)}X_1\\
&= \Sg^{\A(C_1)(C_2)}X_1.\\ 
\end{split}$$ If ${\sf c}_{(D_3)}E_3\in \Gamma_2^*$, then it in $\Gamma_2$, and since $\Gamma_2\subseteq \Gamma_3'$, it cannot be in $\Delta_3$. But this contradicts that $E_3\
( C_1)(C_2)(C_3)}X_1 $ such that $ \Gamma_2\subseteq \Gamma_3'$. Again we are interested only in $ (\Delta_3, \Gamma_2)$. 

 [ Claim 3 ] { } The theory $ T_3=(\Theta_2\cup \Delta_3\cap \Sg^{\A(C_1)(C_2)(C_3)}X_2, \Gamma_2^*)$ is reproducible in $ \Sg^{\A(C_1)(C_2)(C_3)}X_2.$ 

 [ validation of Claim 3 ] { } Seeking a contradiction, assume that the Claim does not deem. Then we would receive for some $ \theta_2\in \Theta_2 $, $ E_3\in \Delta_3\cap \Sg^{\A(C_1)(C_2)(C_3)}X_2 $ and some disjunction $ \mu_2^*\in \Gamma_2^*,$ that $ \theta_2\land E_3\leq \mu_2^*.$ Hence $ E_3\leq \theta_2\rightarrow \mu_2^*.$ For any finite set up $ D\subseteq C_3\sim (C_1\cup C_2),$ we give birth $ { \sf c}_{(D)}E_3\leq \theta_2\rightarrow \mu_2^*$. By lemma \[cylindrify\ ], there is a finite set $ D_3\subseteq C_3\sim (C_1\cup C_2),$ satisfying $ $ \begin{split } 
 { \sf c}_{(D_3)}E_3 
 & \in \Nr_{\alpha\cup C_1\cup C_2}\Sg^{\A(C_1)(C_2)(C_3)}X_1\\ 
 & = \Sg^{\Nr_{\alpha\cup C_1\cup C_2}\A(C_1)C_2)(C_3)}X_1\\ 
 & = \Sg^{\A(C_1)(C_2)}X_1.\\ 
 \end{split}$$ If $ { \sf c}_{(D_3)}E_3\in \Gamma_2^*$, then it in $ \Gamma_2 $, and since $ \Gamma_2\subseteq \Gamma_3'$, it cannot be in $ \Delta_3$. But this contradicts that $ E_3\
(C_1)(C_2)(C_3)}D_1$ such that $\Gamma_2\subseted \Gamma_3'$. Again wg qre inverestes only iv $(\Delta_3, \Gamma_2)$.

[Claim 3 ]{} The thelrt $T_3=(\Thtna_2\cup \Delta_3\cap \Sg^{\A(C_1)(C_2)(C_3)}B_2, \Gamma_2^*)$ id consisrent un $\Sg^{\A(C_1)(C_2)(C_3)}X_2.$

['doof of Claim 3]{} Seenmng a contradicjion, assume dhat the Claim dued not hold. Then we would get for soie $\thets_2\ij \Theta_2$, $E_3\in \Dejta_3\cs[ \Sg^{\Z(B_1)(C_2)(G_3)}X_2$ and some disjunction $\mu_2^*\in \Gamja_2^*,$ that $\theta_2\land E_3\lrq \mu_2^*.$ Hence $E_3\leq \theta_2\righharrlw \mu_2^*.$ For any finihe set $D\subwetez C_3\sim (C_1\cup C_2),$ we have ${\sf c}_{(D)}E_3\leq \theja_2\rightarrow \mu_2^*$. By lemma \[cylindrkfy\], tkere is a funute vet $D_3\subsetxq C_3\sii (C_1\cup C_2),$ satlxfying $$\begin{sllit}
{\sf c}_{(D_3)}E_3
&\in \Nv_{\alphe\cup C_1\cup C_2}\Sg^{\A(C_1)(C_2)(C_3)}X_1\\
&=\Sg^{\Nr_{\alpia\cup C_1\cup C_2}\A(C_1)C_2)(C_3)}X_1\\
&= \Sg^{\W(C_1)(C_2)}X_1.\\ 
\end{s[lnt}$$ If ${\sf c}_{(D_3)}E_3\in \Gamma_2^*$, rhwn it in $\Cammx_2$, ana sjnre $\Famma_2\skbsxteq \Gamma_3'$, jt cannot bw in $\Delta_3$. But this cjbtradicts thaf $E_3\
(C_1)(C_2)(C_3)}X_1$ such that $\Gamma_2\subseteq \Gamma_3'$. Again we only $(\Delta_3, \Gamma_2)$. 3 ]{} The is in $\Sg^{\A(C_1)(C_2)(C_3)}X_2.$ [Proof Claim 3]{} Seeking contradiction, assume that the Claim does hold. Then we would get for some $\theta_2\in \Theta_2$, $E_3\in \Delta_3\cap \Sg^{\A(C_1)(C_2)(C_3)}X_2$ and disjunction $\mu_2^*\in \Gamma_2^*,$ that $\theta_2\land E_3\leq \mu_2^*.$ Hence $E_3\leq \theta_2\rightarrow \mu_2^*.$ For any set C_3\sim C_2),$ have ${\sf c}_{(D)}E_3\leq \theta_2\rightarrow \mu_2^*$. By lemma \[cylindrify\], there is a finite set $D_3\subseteq C_3\sim (C_1\cup satisfying $$\begin{split} {\sf c}_{(D_3)}E_3 &\in \Nr_{\alpha\cup C_1\cup C_2}\Sg^{\A(C_1)(C_2)(C_3)}X_1\\ C_1\cup C_2}\A(C_1)C_2)(C_3)}X_1\\ &= \Sg^{\A(C_1)(C_2)}X_1.\\ If ${\sf c}_{(D_3)}E_3\in \Gamma_2^*$, then in and since \Gamma_3'$, cannot in $\Delta_3$. But contradicts that $E_3\
(C_1)(C_2)(C_3)}X_1$ such that $\Gamma_2\subseteq \gamma_3'$. Again We are IntEreStEd onLy in $(\delta_3, \Gamma_2)$.

[ClaiM 3 ]{} the tHeory $T_3=(\Theta_2\cup \Delta_3\cap \sg^{\A(C_1)(C_2)(c_3)}X_2, \gAmma_2^*)$ IS cOnsisTent in $\SG^{\a(C_1)(c_2)(c_3)}x_2.$

[PrOoF oF ClAiM 3]{} seEking A coNtradicTion, assume ThaT tHe Claim does nOT hOld. Then we wOulD get for some $\tHetA_2\in \TheTa_2$, $e_3\in \dElta_3\cAp \SG^{\A(C_1)(C_2)(C_3)}x_2$ and soME disjuNction $\mu_2^*\iN \GAMma_2^*,$ thaT $\Theta_2\laND e_3\lEq \mu_2^*.$ hence $E_3\leq \theta_2\rigHTaRRow \mu_2^*.$ For any finIte set $d\sUBsETEq C_3\Sim (c_1\cup C_2),$ we havE ${\sF c}_{(D)}E_3\lEQ \theta_2\rIGhTARRow \MU_2^*$. By lemma \[cylinDrify\], there iS A fiNite seT $D_3\SubSEteq C_3\sIm (C_1\cuP C_2),$ SAtiSfying $$\begin{SpliT}
{\sf c}_{(D_3)}E_3
&\in \NR_{\alpha\CUp C_1\cup C_2}\sG^{\A(C_1)(C_2)(C_3)}X_1\\
&=\SG^{\Nr_{\alpHa\cUp C_1\Cup C_2}\a(c_1)C_2)(c_3)}X_1\\
&= \sg^{\A(c_1)(C_2)}x_1.\\ 
\End{SPlIt}$$ IF ${\Sf c}_{(d_3)}E_3\in \GammA_2^*$, tHeN it in $\gammA_2$, AND SincE $\GaMma_2\sUbsetEq \Gamma_3'$, it cannOt bE in $\DELta_3$. but thIs conTradIcTs thaT $E_3\
(C_1)(C_2)(C_3)}X_1$ suchthat $\Gam ma_2\ sub set eq  \Ga mma_ 3'$. Again wea re i nterested only in $(\D elta_ 3, \Gam m a_ 2)$.
[Claim 3] { } T he  t heo ry $T _3=(\ The ta_2\cu p \Delta_3 \ca p\Sg^{\A(C_1) ( C_ 2)(C_3)}X_ 2,\Gamma_2^*)$  is  consi st ent in $\ Sg^ {\A(C _1)(C_ 2 )(C_3) }X_2.$

[ Pr o of ofC laim 3] { }  S eeki ng a contradictio n ,a ssume that the  Claim  d o es n othol d. Then we  w ouldg et fors om e $ \th e ta_2\in \Thet a_2$, $E_3\ i n \ Delta_ 3\ cap \Sg^{\ A(C_1 )( C _2) (C_3)}X_2$andsome disj unctio n  $\mu_2 ^ *\in \G amma_2 ^*, $ t hat$ \t he ta_ 2\ l and E_ 3\l e q \ mu_2^*.$  H en ce $E _3\l e q \ thet a_2 \rig htarr ow \mu_2^*.$For  any fin ite s et $D \sub se teq C _3\sim  (C_1 \c up C_2),$ we ha ve $ {\sf c}_{ (D) }E _3\ le q \th e ta_2\r igh tar row \mu _2^*$.B y l em m a \[ cylindrify\], ther ei s  a  finiteset $D _ 3\ su b seteq C_ 3\ sim  (C_ 1 \ cup C _2), $  s atisfyin g $$\b e gi n{ split}{\ sf c}_ {( D_3 )}E _3
&\ i n \N r_{\al pha\cupC_1\c u p C_2}\Sg^{\A( C _1)(C_2)(C_3) } X_ 1 \ \& =\Sg ^{\ Nr_{\alpha\ cupC _1\c up C _ 2} \A( C _1)C_ 2)(C_ 3) } X_ 1 \\
&= \Sg^{\A(C_1)( C_ 2)}X_1 .\\ \end{split}$$  If ${\sfc } _ {(D_3)}E _3\i n  \ G amma_2^*$, the n itin $\Gamma _ 2$, andsince  $\Gamma _2\subset e q  \Gamma_ 3'$ , i t c ann o t  b e in $\Delta_ 3 $ . Bu tthis co ntr adictstha t $ E_3 \
(C_1)(C_2)(C_3)}X_1$ such_that $\Gamma_2\subseteq_\Gamma_3'$. Again we are_interested only_in_$(\Delta_3, \Gamma_2)$.

[Claim_3_]{} The theory_$T_3=(\Theta_2\cup \Delta_3\cap \Sg^{\A(C_1)(C_2)(C_3)}X_2,_\Gamma_2^*)$ is consistent in_$\Sg^{\A(C_1)(C_2)(C_3)}X_2.$

[Proof of Claim_3]{}_Seeking a contradiction, assume that the Claim does not hold. Then we would get_for_some $\theta_2\in_\Theta_2$,_$E_3\in_\Delta_3\cap \Sg^{\A(C_1)(C_2)(C_3)}X_2$ and some disjunction_$\mu_2^*\in \Gamma_2^*,$ that $\theta_2\land E_3\leq_\mu_2^*.$ Hence_$E_3\leq \theta_2\rightarrow \mu_2^*.$ For any finite set $D\subseteq_C_3\sim_(C_1\cup C_2),$ we_have ${\sf c}_{(D)}E_3\leq \theta_2\rightarrow \mu_2^*$. By lemma \[cylindrify\], there_is a finite set $D_3\subseteq C_3\sim_(C_1\cup C_2),$ satisfying_$$\begin{split}
{\sf_c}_{(D_3)}E_3
&\in_\Nr_{\alpha\cup C_1\cup C_2}\Sg^{\A(C_1)(C_2)(C_3)}X_1\\
&=\Sg^{\Nr_{\alpha\cup C_1\cup_C_2}\A(C_1)C_2)(C_3)}X_1\\
&= \Sg^{\A(C_1)(C_2)}X_1.\\ 
\end{split}$$ If ${\sf c}_{(D_3)}E_3\in_\Gamma_2^*$, then it in $\Gamma_2$, and_since $\Gamma_2\subseteq \Gamma_3'$, it cannot be in_$\Delta_3$. But this contradicts that $E_3\