,I^i)  {\ensuremath{\stackrel{\text{d}}{=}}}(\tilde{A}^i, \tilde{\xi}_X^i, \tilde{\xi}_Y^i, \tilde{I}^i).
  \end{aligned}$$ Define $\kappa(a,b,c,d) :=
  ({\varphi}^i(a,\tilde{g}(a),b,d),\tilde{f}({\varphi}^i(a,\tilde{g}(a),b,d))+c)$. As shown in step (i) above, we have that $g(A^i){\ensuremath{\stackrel{\text{a.s.}}{=}}}\tilde{g}(A^i)$. Furthermore, since ${\mathrm{supp}}(X^i) \subseteq{\mathrm{supp}}(X)$ we have that $f(X^i) {\ensuremath{\stackrel{\text{a.s.}}{=}}}\tilde{f}(X^i)$, and hence $$\begin{aligned}
    (X^i, Y^i) &{\ensuremath{\stackrel{\text{a.s.}}{=}}}(X^i,\tilde{f}(X^i)+\xi_Y^i) \\
    &=  ({\varphi}^i(A^i,g(A^i), \xi_X^i, I^i),\tilde{f}({\varphi}^i(A^i,g(A^i), \xi_X^i, I^i))+\xi_Y^i) \\
    &{\ensuremath{\stackrel{\text{a.s.}}{=}}}({\varphi}^i(A^i,\tilde{g}(A^i), \xi_X^i, I^i),\tilde{f}({\varphi}^i(A^i,\tilde{g}(A^i), \xi_X^i, I^i))+\xi_Y^i) \\
    &=\kappa(A^i, \xi_X^i, \xi_Y^i,I^i) 
                {\ensuremath{\stackrel{\text{d}}{=}}}\kappa(\tilde{A}^i, \tilde{\xi}_X^i, \tilde{\xi}_Y^i, \tilde{I}^i) 
               = (\tilde{X}^i, \tilde{Y}^i).
  \end{aligned}$$ Thus, $\bP_{M(
, I^i)   { \ensuremath{\stackrel{\text{d}}{=}}}(\tilde{A}^i, \tilde{\xi}_X^i, \tilde{\xi}_Y^i, \tilde{I}^i). 
   \end{aligned}$$ Define $ \kappa(a, b, c, d): = 
   ({ \varphi}^i(a,\tilde{g}(a),b, d),\tilde{f}({\varphi}^i(a,\tilde{g}(a),b, d))+c)$. As shown in step (i) above, we get that $ g(A^i){\ensuremath{\stackrel{\text{a.s.}}{=}}}\tilde{g}(A^i)$. Furthermore, since $ { \mathrm{supp}}(X^i) \subseteq{\mathrm{supp}}(X)$ we take that $ f(X^i) { \ensuremath{\stackrel{\text{a.s.}}{=}}}\tilde{f}(X^i)$, and hence $ $ \begin{aligned } 
     (X^i, Y^i) & { \ensuremath{\stackrel{\text{a.s.}}{=}}}(X^i,\tilde{f}(X^i)+\xi_Y^i) \\ 
     & =   ({ \varphi}^i(A^i, g(A^i), \xi_X^i, I^i),\tilde{f}({\varphi}^i(A^i, g(A^i), \xi_X^i, I^i))+\xi_Y^i) \\ 
     & { \ensuremath{\stackrel{\text{a.s.}}{=}}}({\varphi}^i(A^i,\tilde{g}(A^i), \xi_X^i, I^i),\tilde{f}({\varphi}^i(A^i,\tilde{g}(A^i), \xi_X^i, I^i))+\xi_Y^i) \\ 
     & = \kappa(A^i, \xi_X^i, \xi_Y^i, I^i) 
                 { \ensuremath{\stackrel{\text{d}}{=}}}\kappa(\tilde{A}^i, \tilde{\xi}_X^i, \tilde{\xi}_Y^i, \tilde{I}^i) 
                = (\tilde{X}^i, \tilde{Y}^i). 
   \end{aligned}$$ Thus, $ \bP_{M (
,I^i)  {\ensuremath{\stackrel{\text{d}}{=}}}(\uilde{A}^i, \tilde{\xi}_X^i, \tilde{\xm}_Y^i, \tilse{I}^i).
  \ena{aligned}$$ Define $\kappa(a,b,c,d) :=
  ({\tarpyi}^i(a,\tulde{g}(a),b,d),\tilde{f}({\varphi}^i(a,\gilde{g}(a),b,d))+b)$. As showb in wtep (i) abots, we hayz thaf $g(A^i){\znwuremath{\stackrgl{\text{a.s.}}{=}}}\tilda{g}(A^i)$. Furthermose, snnce ${\mathrm{supp}}(X^i) \subseteq{\mathrm{supp}}(V)$ we hafe that $f(X^i) {\ensutematn{\ftacigeo{\text{a.s.}}{=}}}\tilde{f}(X^i)$, and hence $$\begjn{aligntd}
    (X^i, Y^i) &{\ensurekath{\stackrel{\text{a.s.}}{=}}}(X^i,\tilde{f}(D^i)+\xi_J^i) \\
    &=  ({\varphi}^i(A^i,h(A^i), \xi_X^i, I^i),\jjldq{d}({\varphi}^i(A^i,g(A^k), \xi_X^i, I^i))+\xp_V^i) \\
    &{\ensutemath{\stackrel{\text{a.s.}}{=}}}({\varphi}^i(A^i,\tilae{g}(A^i), \xi_X^i, I^i),\tiodw{f}({\vwtphi}^i(A^i,\tilde{j}(A^i), \xi_Q^i, I^i))+\xi_Y^i) \\
    &=\kappa(A^i, \xi_X^i, \xo_Y^i,I^i) 
                {\ensuremath{\stackrel{\txxt{d}}{=}}}\kappa(\tilde{A}^i, \tilqe{\xi}_X^i, \tindz{\xi}_Y^i, \tilde{I}^i) 
               = (\tinde{X}^k, \tiude{G}^i).
  \snd{alihnev}$$ Thus, $\bP_{M(
,I^i) {\ensuremath{\stackrel{\text{d}}{=}}}(\tilde{A}^i, \tilde{\xi}_X^i, \tilde{\xi}_Y^i, \tilde{I}^i). \end{aligned}$$ Define ({\varphi}^i(a,\tilde{g}(a),b,d),\tilde{f}({\varphi}^i(a,\tilde{g}(a),b,d))+c)$. shown in (i) above, we ${\mathrm{supp}}(X^i) we have that {\ensuremath{\stackrel{\text{a.s.}}{=}}}\tilde{f}(X^i)$, and hence (X^i, Y^i) &{\ensuremath{\stackrel{\text{a.s.}}{=}}}(X^i,\tilde{f}(X^i)+\xi_Y^i) \\ &= ({\varphi}^i(A^i,g(A^i), I^i),\tilde{f}({\varphi}^i(A^i,g(A^i), \xi_X^i, I^i))+\xi_Y^i) \\ &{\ensuremath{\stackrel{\text{a.s.}}{=}}}({\varphi}^i(A^i,\tilde{g}(A^i), \xi_X^i, I^i),\tilde{f}({\varphi}^i(A^i,\tilde{g}(A^i), \xi_X^i, I^i))+\xi_Y^i) \\ &=\kappa(A^i, \xi_X^i, \xi_Y^i,I^i) \tilde{\xi}_X^i, \tilde{\xi}_Y^i, \tilde{I}^i) = (\tilde{X}^i, \tilde{Y}^i). \end{aligned}$$ Thus, $\bP_{M(
,I^i)  {\ensuremath{\stackrel{\text{d}}{=}}}(\Tilde{A}^i, \tilDe{\xi}_X^I, \tiLde{\Xi}_y^i, \tiLde{I}^I).
  \end{aligned}$$ DefINe $\kaPpa(a,b,c,d) :=
  ({\varphi}^i(a,\tilde{g}(a),B,d),\tilDe{F}({\VarpHI}^i(A,\tildE{g}(a),b,d))+c)$. AS ShOWN in StEp (I) abOvE, We Have tHat $G(A^i){\ensuRemath{\stacKreL{\tExt{a.s.}}{=}}}\tilde{g}(A^I)$. fuRthermore, sIncE ${\mathrm{supp}}(X^I) \suBseteq{\MaThrM{Supp}}(X)$ We hAve thAt $f(X^i) {\eNSuremaTh{\stackreL{\tEXt{a.s.}}{=}}}\tiLDe{f}(X^i)$, anD HEnCe $$\beGin{aligned}
    (X^i, Y^i) &{\ensUReMAth{\stackrel{\texT{a.s.}}{=}}}(X^i,\tIlDE{f}(x^I)+\Xi_Y^I) \\
    &=  ({\vaRphi}^i(A^i,g(A^i), \Xi_x^i, I^i),\tILde{f}({\varPHi}^I(a^I,G(A^i), \XI_X^i, I^i))+\xi_Y^i) \\
    &{\ensuRemath{\stackREl{\tExt{a.s.}}{=}}}({\vArPhi}^I(a^i,\tildE{g}(A^i), \xI_X^I, i^i),\tIlde{f}({\varphi}^I(A^i,\tIlde{g}(A^i), \xi_x^i, I^i))+\xi_y^I) \\
    &=\kappa(A^I, \Xi_X^i, \xi_Y^I,I^i) 
                {\ensUreMatH{\staCKrEl{\TexT{d}}{=}}}\KAppA(\TiLde{a}^I, \tiLde{\xi}_X^i, \tIlDe{\Xi}_Y^i, \tIlde{i}^I) 
               = (\TILde{X}^I, \tiLde{Y}^I).
  \end{aLigned}$$ Thus, $\bP_{M(
,I^i)  {\ensuremath{\stack rel{\text{ d}}{= }}} (\t il de{A }^i,  \tilde{\xi}_X ^ i, \ tilde{\xi}_Y^i, \tilde {I}^i ).   \e n d{ align ed}$$ D e fi n e  $\ ka pp a(a ,b , c, d) := 
 ({\varp hi}^i(a,\t ild e{ g}(a),b,d),\ t il de{f}({\va rph i}^i(a,\tild e{g }(a),b ,d ))+ c )$. A s s hownin ste p  (i) a bove, weha v e that $g(A^i) { \ en sure math{\stackrel{\t e xt { a.s.}}{=}}}\ti lde{g} (A ^ i) $ .  Fu rth ermore, si nc e ${\ m athrm{s u pp } } ( X^i )  \subseteq{\m athrm{supp} } (X) $ we h av e t h at $f( X^i){\ e nsu remath{\sta ckre l{\text{a .s.}}{ = }}}\til d e{f}(X^ i)$, a ndhen ce $ $ \b eg in{ al i gne d }  (X^ i, Y^i)&{ \e nsure math { \ s t ackr el{ \tex t{a.s .}}{=}}}(X^i, \ti lde{ f }(X ^i)+\ xi_Y^ i) \ \    & =  ({\ varph i} ^i(A^i,g(A^i),\xi_ X^i, I^i) ,\t il de{ f} ({\va r phi}^i (A^ i,g (A^i),\xi_X^i ,  I^ i) ) + \ xi _Y^i) \\
    &{\en su r e ma th{\stac krel{\ t ex t{ a .s.}}{=} }} ({\ varp h i }^i(A ^i,\ t il de{g}(A^ i), \x i _X ^i , I^i), \t ilde{f }( {\v arp hi}^i ( A^i, \tilde {g}(A^i) , \xi _ X^i, I^i))+\xi _ Y^i) \\
    & = \k a p pa ( A^i,  \x i_X^i, \xi_ Y^i, I ^i)
          {\en su r em a th{\stackrel{\text{ d} }{=}}} \kapp a(\tilde{A}^i , \tilde{\ x i } _X^i, \t ilde { \x i }_Y^i, \tilde{ I}^i)  
             =(\til de{X}^i,  \tilde{Y } ^ i).
  \e nd{ ali gne d}$ $ Th us, $\bP_{M(
,I^i) _{\ensuremath{\stackrel{\text{d}}{=}}}(\tilde{A}^i, \tilde{\xi}_X^i,_\tilde{\xi}_Y^i, \tilde{I}^i).
  \end{aligned}$$_Define $\kappa(a,b,c,d)_:=
_ ({\varphi}^i(a,\tilde{g}(a),b,d),\tilde{f}({\varphi}^i(a,\tilde{g}(a),b,d))+c)$._As_shown in step_(i) above, we_have that $g(A^i){\ensuremath{\stackrel{\text{a.s.}}{=}}}\tilde{g}(A^i)$. Furthermore,_since ${\mathrm{supp}}(X^i) \subseteq{\mathrm{supp}}(X)$_we_have that $f(X^i) {\ensuremath{\stackrel{\text{a.s.}}{=}}}\tilde{f}(X^i)$, and hence $$\begin{aligned}
    (X^i, Y^i) &{\ensuremath{\stackrel{\text{a.s.}}{=}}}(X^i,\tilde{f}(X^i)+\xi_Y^i) \\
__ _&=__({\varphi}^i(A^i,g(A^i), \xi_X^i, I^i),\tilde{f}({\varphi}^i(A^i,g(A^i), \xi_X^i, I^i))+\xi_Y^i)_\\
    &{\ensuremath{\stackrel{\text{a.s.}}{=}}}({\varphi}^i(A^i,\tilde{g}(A^i),_\xi_X^i, I^i),\tilde{f}({\varphi}^i(A^i,\tilde{g}(A^i),_\xi_X^i, I^i))+\xi_Y^i) \\
    &=\kappa(A^i, \xi_X^i,_\xi_Y^i,I^i)_
  _        _    {\ensuremath{\stackrel{\text{d}}{=}}}\kappa(\tilde{A}^i, \tilde{\xi}_X^i,_\tilde{\xi}_Y^i, \tilde{I}^i) 
___   _     _  = (\tilde{X}^i, \tilde{Y}^i).
 _\end{aligned}$$ Thus, $\bP_{M(