B_1^-=B_1\setminus\overline{B}_1^+$ (see Fig.2). We assume that $\Omega^{(1)}\setminus \overline{B}_1^-$ has a smooth boundary that includes $S_0$. Denote $\Gamma_2=S_0\cup (\Gamma_1\setminus\partial B_1^+)$. Since $L^{(3)}=L^{(1)}$ in $\overline{B}_1^-$ and $\Lambda^{(3)}=\Lambda^{(1)}$ on $\Gamma_0\times(0,T) $ we get from the Lemma \[lma:2.4\] that $\Lambda^{(3)}=\Lambda^{(1)}$ on $\Gamma_2\times(\delta',T-\delta')$, where $\delta'=\max_{x\in\bar{B}_1^-}d_1(x,\Gamma_0)$ and we consider the D-to-N operators corresponding to $L^{(1)},L^{(3)}$ in domains $(\Omega^{(1)}\setminus \overline{B}_1^-)\times(\delta',T_0-\delta'),\ 
(\Omega^{(3)}\setminus \overline{B}_1^-)\times(\delta',T_0-\delta')$.

Now apply Lemma \[lma:4.1\] to $U_0\subset(\Omega^{(1)}\setminus B_1^-)$ instead of $R$. Let $U_0'$ be the union of all geodesics in $\Omega^{(3)}$ with respect to the metric $\|g_3^{jk}\|^{-1}$ starting at $\overline{U}_0
\cap\partial B(x^{(0)},{{\varepsilon}}_2)$, orthogonal to $\partial B(x^{(0)},{{\varepsilon}}_2)$ and having the length $\delta-{{\varepsilon}}_2$. Note that $B(x^{(0)},{{\varepsilon}}_2)\subset B_1\subset
\Omega^{(1)}\cap\Omega^{(3)}$. Since $\Lambda^{(1)}=\Lambda^{(3)}$ on $\Gamma_2\times(\delta',T_0-\delta')$, the Lemma \[lma:4.1\] implies that there exists a diffeomorphism $\varphi$ of $\overline{U}_0'
\subset\overline{\Omega}^{(2)}$ onto $\overline{U}_0$ and there exists $c(x)\in C^\infty(\overline{U}_0),\ c(x)\neq 0$ in $\overline{
B_1 ^ -=B_1\setminus\overline{B}_1^+$ (see Fig.2). We assume that $ \Omega^{(1)}\setminus \overline{B}_1 ^ -$ has a smooth limit that include $ S_0$. Denote $ \Gamma_2 = S_0\cup (\Gamma_1\setminus\partial B_1^+)$. Since $ L^{(3)}=L^{(1)}$ in $ \overline{B}_1 ^ -$ and $ \Lambda^{(3)}=\Lambda^{(1)}$ on $ \Gamma_0\times(0,T) $ we get from the Lemma \[lma:2.4\ ] that $ \Lambda^{(3)}=\Lambda^{(1)}$ on $ \Gamma_2\times(\delta',T-\delta')$, where $ \delta'=\max_{x\in\bar{B}_1 ^ -}d_1(x,\Gamma_0)$ and we consider the D - to - N operator equate to $ L^{(1)},L^{(3)}$ in domains $ (\Omega^{(1)}\setminus \overline{B}_1 ^ -)\times(\delta',T_0-\delta'),\ 
 (\Omega^{(3)}\setminus \overline{B}_1 ^ -)\times(\delta',T_0-\delta')$. 

 Now give Lemma \[lma:4.1\ ] to $ U_0\subset(\Omega^{(1)}\setminus B_1 ^ -)$ rather of $ R$. Let $ U_0'$ be the coupling of all geodesics in $ \Omega^{(3)}$ with respect to the measured $ \|g_3^{jk}\|^{-1}$ starting at $ \overline{U}_0 
 \cap\partial B(x^{(0)},{{\varepsilon}}_2)$, orthogonal to $ \partial B(x^{(0)},{{\varepsilon}}_2)$ and having the length $ \delta-{{\varepsilon}}_2$. notice that $ B(x^{(0)},{{\varepsilon}}_2)\subset B_1\subset 
 \Omega^{(1)}\cap\Omega^{(3)}$. Since $ \Lambda^{(1)}=\Lambda^{(3)}$ on $ \Gamma_2\times(\delta',T_0-\delta')$, the Lemma \[lma:4.1\ ] implies that there exists a diffeomorphism $ \varphi$ of $ \overline{U}_0' 
 \subset\overline{\Omega}^{(2)}$ onto $ \overline{U}_0 $ and there exist $ c(x)\in C^\infty(\overline{U}_0),\ c(x)\neq 0 $ in $ \overline {
B_1^-=B_1\sftminus\overline{B}_1^+$ (see Fig.2). We assume that $\Omega^{(1)}\sxtminus \overlind{B}_1^-$ has a smooth boundary thav inxludew $S_0$. Denote $\Gamma_2=S_0\cup (\Gxmma_1\setmijus\partiql B_1^+)$. Wince $L^{(3)}=L^{(1)}$ ii $\overlikz{B}_1^-$ ans $\Lamyde^{(3)}=\Lambda^{(1)}$ on $\Gamms_0\times(0,T) $ wa get from the Ldmla \[lma:2.4\] that $\Lambda^{(3)}=\Lambda^{(1)}$ on $\Gamma_2\tiies(\delts',T-\felta')$, where $\dejta'=\msv_{x\in\gar{B}_1^-}d_1(x,\Gamma_0)$ and we consider the D-tk-N operetors corresponcing to $L^{(1)},L^{(3)}$ in domains $(\Omegw^{(1)}\setlinus \overline{B}_1^-)\timfs(\delta',T_0-\deljz'),\ 
(\Oiwga^{(3)}\setminus \uverline{B}_1^-)\tpkes(\delta',T_0-\dglta')$.

Now apply Lemma \[lma:4.1\] to $U_0\subsdt(\Omeya^{(1)}\setminus V_1^-)$ unshgad of $R$. Let $U_0'$ be the union on all gaodesicx in $\Omega^{(3)}$ witm res'ect to the metric $\|g_3^{jk}\|^{-1}$ sterting at $\overline{U}_0
\cwp\partial B(r^{(0)},{{\varepsilon}}_2)$, orthogonao ro $\pattial B(x^{(0)},{{\vxeeprilkn}}_2)$ ahd havlng the lengtg $\delta-{{\varepsilon}}_2$. Note that $B(x^{(0)},{{\fawvlsilon}}_2)\subset B_1\subsqt
\Jmega^{(1)}\cap\Omega^{(3)}$. Since $\Lambda^{(1)}=\Lambda^{(3)}$ on $\Gamka_2\tjmes(\delta',T_0-\delta')$, the Lemna \[lma:4.1\] implies that tjere exises a diffeomorphism $\varphi$ of $\overline{U}_0'
\subset\overnine{\Ojdga}^{(2)}$ okto $\ucegline{U}_0$ and there exists $c(x)\in C^\infty(\overline{U}_0),\ s(s)\ntq 0$ in $\overline{
B_1^-=B_1\setminus\overline{B}_1^+$ (see Fig.2). We assume that $\Omega^{(1)}\setminus a boundary that $S_0$. Denote $\Gamma_2=S_0\cup $\overline{B}_1^-$ $\Lambda^{(3)}=\Lambda^{(1)}$ on $\Gamma_0\times(0,T) we get from Lemma \[lma:2.4\] that $\Lambda^{(3)}=\Lambda^{(1)}$ on $\Gamma_2\times(\delta',T-\delta')$, $\delta'=\max_{x\in\bar{B}_1^-}d_1(x,\Gamma_0)$ and we consider the D-to-N operators corresponding to $L^{(1)},L^{(3)}$ in domains $(\Omega^{(1)}\setminus (\Omega^{(3)}\setminus \overline{B}_1^-)\times(\delta',T_0-\delta')$. Now apply Lemma \[lma:4.1\] to $U_0\subset(\Omega^{(1)}\setminus B_1^-)$ instead of $R$. Let be union all in $\Omega^{(3)}$ with respect to the metric $\|g_3^{jk}\|^{-1}$ starting at $\overline{U}_0 \cap\partial B(x^{(0)},{{\varepsilon}}_2)$, orthogonal to $\partial and having the length $\delta-{{\varepsilon}}_2$. Note that $B(x^{(0)},{{\varepsilon}}_2)\subset \Omega^{(1)}\cap\Omega^{(3)}$. Since $\Lambda^{(1)}=\Lambda^{(3)}$ on the Lemma \[lma:4.1\] implies that exists diffeomorphism $\varphi$ $\overline{U}_0' onto and there exists C^\infty(\overline{U}_0),\ c(x)\neq 0$ in $\overline{
B_1^-=B_1\setminus\overline{B}_1^+$ (see Fig.2). we assume thAt $\OmeGa^{(1)}\sEtmInUs \ovErliNe{B}_1^-$ has a smooth bOUndaRy that includes $S_0$. Denote $\GAmma_2=S_0\CuP (\gammA_1\SeTminuS\partiaL b_1^+)$. SINCe $L^{(3)}=l^{(1)}$ iN $\oVerLiNE{B}_1^-$ And $\LaMbdA^{(3)}=\Lambda^{(1)}$ On $\Gamma_0\timEs(0,T) $ We Get from the LeMMa \[Lma:2.4\] that $\LamBda^{(3)}=\lambda^{(1)}$ on $\GammA_2\tiMes(\delTa',t-\deLTa')$, wheRe $\dElta'=\mAx_{x\in\bAR{B}_1^-}d_1(x,\GaMma_0)$ and we cOnSIder thE d-to-N opeRAToRs coRresponding to $L^{(1)},L^{(3)}$ in DOmAIns $(\Omega^{(1)}\setminUs \overLiNE{B}_1^-)\TIMes(\DelTa',T_0-\delta'),\ 
(\OmEgA^{(3)}\setmINus \overLInE{b}_1^-)\TImeS(\Delta',T_0-\delta')$.

NoW apply Lemma \[LMa:4.1\] tO $U_0\subsEt(\omeGA^{(1)}\setmiNus B_1^-)$ iNsTEad Of $R$. Let $U_0'$ be thE uniOn of all geOdesicS In $\Omega^{(3)}$ WIth respEct to tHe mEtrIc $\|g_3^{jK}\|^{-1}$ StArTinG aT $\OveRLiNe{U}_0
\CAp\pArtial B(x^{(0)},{{\VaRePsiloN}}_2)$, ortHOGONal tO $\paRtiaL B(x^{(0)},{{\vaRepsilon}}_2)$ and haVinG the LEngTh $\delTa-{{\varEpsiLoN}}_2$. Note That $B(x^{(0)},{{\VarepSiLon}}_2)\subset B_1\subseT
\OmeGa^{(1)}\cap\OmegA^{(3)}$. SiNcE $\LaMbDa^{(1)}=\LamBDa^{(3)}$ on $\GaMma_2\TimEs(\delta',t_0-\delta')$, tHE LeMmA \[LMA:4.1\] iMplies that there exiStS A DiFfeomorpHism $\vaRPhI$ oF $\Overline{u}_0'
\sUbsEt\ovERLine{\OMega}^{(2)}$ ONtO $\overlinE{U}_0$ and tHErE eXists $c(x)\In c^\infty(\OvErlIne{u}_0),\ c(x)\neQ 0$ In $\ovErline{
B_1^-=B_1\setminus\overlin e{B}_1^+$(seeFig .2) .We a ssum e that $\Omega ^ {(1) }\setminus \overline{B }_1^- $h as a sm oothboundar y  t h a t i nc lu des  $ S _0 $. De not e $\Gam ma_2=S_0\c up(\ Gamma_1\setm i nu s\partialB_1 ^+)$. Since$L^ {(3)}= L^ {(1 ) }$ in  $\ overl ine{B} _ 1^-$ a nd $\Lamb da ^ {(3)}= \ Lambda^ { ( 1) }$ o n $\Gamma_0\times ( 0, T ) $ we get fro m theLe m ma \ [lm a:2 .4\] that$\ Lambd a ^{(3)}= \ La m b d a^{ ( 1)}$ on $\Gam ma_2\times( \ del ta',T- \d elt a ')$, w here$\ d elt a'=\max_{x\ in\b ar{B}_1^- }d_1(x , \Gamma_ 0 )$ andwe con sid ertheD -t o- N o pe r ato r scor r esp onding t o$L ^{(1) },L^ { ( 3 ) }$ i n d omai ns $( \Omega^{(1)}\ set minu s  \o verli ne{B} _1^- )\ times (\delt a',T_ 0- \delta'),\ 
(\O mega ^{(3)}\se tmi nu s \ ov erlin e {B}_1^ -)\ tim es(\del ta',T_0 - \de lt a ' ) $. 

Now apply Lemma\[ l m a: 4.1\] to  $U_0\ s ub se t (\Omega^ {( 1)} \set m i nus B _1^- ) $insteadof $R$ .  L et  $U_0'$  b e theun ion  of  allg eode sics i n $\Omeg a^{(3 ) }$ with respec t  to the metri c  $ \ | g_ 3 ^{jk }\| ^{-1}$ star ting at $ \ove r li ne{ U }_0
\ cap\p ar t ia l  B(x^{(0)},{{\varep si lon}}_ 2)$,orthogonal to  $\partial B ( x^{(0)}, {{\v a re p silon}}_2)$ an d hav ing the le n gth $\de lta-{ {\vareps ilon}}_2$ . Note tha t $ B(x ^{( 0)} , { {\ varepsilon}}_ 2 ) \sub se t B_1\s ubs et
\Ome ga^ {(1 )}\ cap \O mega^{(3) }$. Sinc e$\ La mb da^ {(1)} = \Lambda^ {( 3)} $on$\Gam m a_2\ti mes(\ delt a' ,T _ 0-\ delta') $ ,t h e Le mm a\[lm a:4 .1 \] im plie s  th at ther e existsa d i ffeo mo rp hism $\ varphi$ of $\ ov erline{U}_ 0' 
\s ubset\ o v erline{\ Omega}^{(2)}$ onto $\ov e rline{U }_0 $ and  the re exists  $c (x)\in  C^ \ infty( \overl ine{U }_ 0), \ c(x)\ n e q0$in  $\overlin e { 
B_1^-=B_1\setminus\overline{B}_1^+$ (see_Fig.2). We_assume that $\Omega^{(1)}\setminus \overline{B}_1^-$_has a_smooth_boundary that_includes_$S_0$. Denote $\Gamma_2=S_0\cup_(\Gamma_1\setminus\partial B_1^+)$. Since_$L^{(3)}=L^{(1)}$ in $\overline{B}_1^-$ and_$\Lambda^{(3)}=\Lambda^{(1)}$ on $\Gamma_0\times(0,T)_$_we get from the Lemma \[lma:2.4\] that $\Lambda^{(3)}=\Lambda^{(1)}$ on $\Gamma_2\times(\delta',T-\delta')$, where $\delta'=\max_{x\in\bar{B}_1^-}d_1(x,\Gamma_0)$ and we_consider_the D-to-N_operators_corresponding_to $L^{(1)},L^{(3)}$ in domains $(\Omega^{(1)}\setminus_\overline{B}_1^-)\times(\delta',T_0-\delta'),\ 
(\Omega^{(3)}\setminus \overline{B}_1^-)\times(\delta',T_0-\delta')$.

Now apply Lemma_\[lma:4.1\] to_$U_0\subset(\Omega^{(1)}\setminus B_1^-)$ instead of $R$. Let $U_0'$ be_the_union of all_geodesics in $\Omega^{(3)}$ with respect to the metric $\|g_3^{jk}\|^{-1}$_starting at $\overline{U}_0
\cap\partial B(x^{(0)},{{\varepsilon}}_2)$, orthogonal to_$\partial B(x^{(0)},{{\varepsilon}}_2)$ and_having_the_length $\delta-{{\varepsilon}}_2$. Note that_$B(x^{(0)},{{\varepsilon}}_2)\subset B_1\subset
\Omega^{(1)}\cap\Omega^{(3)}$. Since $\Lambda^{(1)}=\Lambda^{(3)}$ on $\Gamma_2\times(\delta',T_0-\delta')$,_the Lemma \[lma:4.1\] implies that there_exists a diffeomorphism $\varphi$ of $\overline{U}_0'
\subset\overline{\Omega}^{(2)}$ onto_$\overline{U}_0$ and there exists $c(x)\in C^\infty(\overline{U}_0),\_c(x)\neq 0$ in $\overline{