mathscr{O}(X), C \in \mathscr{K}(X), \epsilon >0$. Take Borel subsets $Y_i$ of $X$ such that $ Y_i \subseteq X_i$ and $\bigsqcup_{i=1}^\infty Y_i = X$. Consider $m_i(B) = m(B \cap Y_i)$, where $B$ is a Borel set in $X_i$, $i \in \mathbb{N}$. It is easy to see that $m_i \in \mathbf{M}(X_i)$.

Let $ \epsilon >0$. Let $U_i = U \cap X_i,  C_i = C \cap X_i,  \epsilon_ i  = \epsilon 2^{-i}$ for $ i \in \mathbb{N}$, so $U_i$ is open in $X_i$ and $ C_i$ is compact in $X_i$. By assumption, there is $\lambda_i \in p\mathbf{DTM}(X_i)$ such that $\lambda_i \in  W(m_i; U_i, C_i, X_i, \epsilon_i)$. Let $\nu_i$ be the extension of $\lambda_i$ to $\mathscr{O}(X) \cup \mathscr{C}(X)$ given by $\nu_i(A) = \lambda_i(A \cap X_i)$ for $ A \in \mathscr{O}(X) \cup \mathscr{C}(X)$. It is easy to see that $\nu_i $ is a deficient topological measure, and $ \nu_i(X) = \lambda_i(X_i) < \infty$. Since $\lambda_i$ is proper, by [@Butler:Decomp Theorem 4.4] given $ \delta >0$ there are sets of the form $ V_j \cap X_i, V_j \in \mathscr{O}(X), j=1, \ldots, n$ such that they cover $X_i$ and $\sum_{j=1}^n \lambda_i(V_j \cap X_i) < \delta$. Then open sets $V_1, \ldots, V_n, X \setminus X_i$ cover $X$ and $\sum_{j=1
mathscr{O}(X), C \in \mathscr{K}(X), \epsilon > 0$. Take Borel subsets $ Y_i$ of $ X$ such that $ Y_i \subseteq X_i$ and $ \bigsqcup_{i=1}^\infty Y_i = X$. Consider $ m_i(B) = m(B \cap Y_i)$, where $ B$ is a Borel set in $ X_i$, $ i \in \mathbb{N}$. It is easy to visualize that $ m_i \in \mathbf{M}(X_i)$. 

 lease $ \epsilon > 0$. Let $ U_i = U \cap X_i,   C_i = C \cap X_i,   \epsilon _ i   = \epsilon 2^{-i}$ for $ i \in \mathbb{N}$, so $ U_i$ is open in $ X_i$ and $ C_i$ is compendious in $ X_i$. By assumption, there is $ \lambda_i \in p\mathbf{DTM}(X_i)$ such that $ \lambda_i \in   W(m_i; U_i, C_i, X_i, \epsilon_i)$. Let $ \nu_i$ be the propagation of $ \lambda_i$ to $ \mathscr{O}(X) \cup \mathscr{C}(X)$ given by $ \nu_i(A) = \lambda_i(A \cap X_i)$ for $ A \in \mathscr{O}(X) \cup \mathscr{C}(X)$. It is easy to attend that $ \nu_i $ is a deficient topological measure, and $ \nu_i(X) = \lambda_i(X_i) < \infty$. Since $ \lambda_i$ is proper, by [ @Butler: Decomp Theorem 4.4 ] give $ \delta > 0 $ there are sets of the class $ V_j \cap X_i, V_j \in \mathscr{O}(X), j=1, \ldots, n$ such that they brood $ X_i$ and $ \sum_{j=1}^n \lambda_i(V_j \cap X_i) < \delta$. Then open sets $ V_1, \ldots, V_n, X \setminus X_i$ cover $ X$ and $ \sum_{j=1
matjscr{O}(X), C \in \mathscr{K}(X), \eprilon >0$. Take Borgl subsevs $Y_i$ or $X$ such that $ Y_i \subseteq X_i$ and $\bijsqcyp_{i=1}^\indty Y_i = X$. Consider $m_i(B) = m(B \cap J_i)$, where $V$ is q Borel sev in $X_i$, $l \in \jwthby{N}$. It is easy to see that $k_i \in \mathbf{M}(X_h)$.

Ldt $ \epsilon >0$. Let $U_i = U \cap X_i,  C_i = C \sap X_i,  \eosilon_ i  = \epsylon 2^{-y}$ fod $ i \in \mathbb{N}$, so $U_i$ is open in $X_j$ and $ B_i$ is compact in $C_i$. By assumption, there is $\pambfa_i \in p\mathbf{DTM}(X_l)$ such that $\lamfea_i \in  W(m_i; J_i, C_i, X_i, \eksnlon_i)$. Let $\no_i$ be the extension of $\lambda_i$ tu $\matkscr{O}(X) \cup \narhsft{C}(X)$ given by $\nu_i(A) = \lambda_i(A \cap X_i)$ fos $ A \in \mathscr{O}(X) \cup \mavhsce{C}(X)$. It is easy to see that $\nu_i $ is a desicient tmpklogical measure, qne $ \nu_h(X) = \nambaq_i(X_k) < \jnhty$. Since $\lajbda_i$ is pdoper, by [@Burler:Decomp Theorem 4.4] gynrn $ \delta >0$ tgere awe sets of the form $ V_j \cap X_i, V_j \in \mathvcr{K}(X), j=1, \ldots, n$ such that rhey cover $X_i$ and $\sum_{u=1}^n \lambda_y(V_j \cap X_i) < \delta$. Then open sets $V_1, \ldots, V_n, X \setkinus B_i$ eiver $B$ ajd $\sum_{j=1
mathscr{O}(X), C \in \mathscr{K}(X), \epsilon >0$. Take $Y_i$ $X$ such $ Y_i \subseteq X$. $m_i(B) = m(B Y_i)$, where $B$ a Borel set in $X_i$, $i \mathbb{N}$. It is easy to see that $m_i \in \mathbf{M}(X_i)$. Let $ \epsilon Let $U_i = U \cap X_i, C_i = C \cap X_i, \epsilon_ i \epsilon for i \mathbb{N}$, so $U_i$ is open in $X_i$ and $ C_i$ is compact in $X_i$. By assumption, is $\lambda_i \in p\mathbf{DTM}(X_i)$ such that $\lambda_i \in U_i, C_i, X_i, \epsilon_i)$. $\nu_i$ be the extension of to \cup \mathscr{C}(X)$ by = \cap X_i)$ for A \in \mathscr{O}(X) \cup \mathscr{C}(X)$. It is easy to see that $\nu_i $ is a deficient topological and $ \lambda_i(X_i) < Since is by [@Butler:Decomp Theorem $ \delta >0$ there are sets $ V_j \cap X_i, V_j \in \mathscr{O}(X), j=1, n$ such they cover $X_i$ and $\sum_{j=1}^n \lambda_i(V_j X_i) < \delta$. Then open sets $V_1, \ldots, X \setminus X_i$ cover $X$ and $\sum_{j=1
mathscr{O}(X), C \in \mathscr{K}(X), \epsiLon >0$. Take BorEl subSetS $Y_i$ Of $x$ sucH thaT $ Y_i \subseteq X_i$ aND $\bigSqcup_{i=1}^\infty Y_i = X$. Consider $M_i(B) = m(B \CaP y_i)$, whERe $b$ is a BOrel set IN $X_I$, $I \In \mAtHbB{N}$. IT iS EaSy to sEe tHat $m_i \in \Mathbf{M}(X_i)$.

LEt $ \ePsIlon >0$. Let $U_i = U \caP x_i,  c_i = C \cap X_i,  \epSilOn_ i  = \epsilon 2^{-i}$ fOr $ i \In \mathBb{n}$, so $u_I$ is opEn iN $X_i$ anD $ C_i$ is cOMpact iN $X_i$. By assuMpTIon, theRE is $\lambDA_I \iN p\maThbf{DTM}(X_i)$ such that $\LAmBDa_i \in  W(m_i; U_i, C_i, X_i, \EpsiloN_i)$. lEt $\NU_I$ be The Extension oF $\lAmbda_I$ To $\mathsCR{O}(x) \CUP \maTHscr{C}(X)$ given by $\Nu_i(A) = \lambda_i(a \Cap x_i)$ for $ A \In \MatHScr{O}(X) \cUp \matHsCR{C}(X)$. it is easy to sEe thAt $\nu_i $ is a dEficieNT topoloGIcal meaSure, anD $ \nu_I(X) = \lAmbdA_I(X_I) < \iNftY$. SINce $\LAmBda_I$ Is pRoper, by [@BUtLeR:DecoMp ThEOREM 4.4] givEn $ \dElta >0$ There Are sets of the fOrm $ v_j \caP x_i, V_J \in \maThscr{o}(X), j=1, \lDoTs, n$ suCh that They cOvEr $X_i$ and $\sum_{j=1}^n \lamBda_i(v_j \cap X_i) < \deLta$. thEn oPeN sets $v_1, \Ldots, V_N, X \sEtmInus X_i$ cOver $X$ anD $\Sum_{J=1
mathscr{O}(X), C \in \math scr{K}(X),  \eps ilo n > 0$ . Ta ke B orel subsets $ Y _i$of $X$ such that $ Y_i  \sub se t eq X _ i$  and$\bigsq c up _ { i=1 }^ \i nft yY _i  = X$ . C onsider  $m_i(B) =  m( B\cap Y_i)$,w he re $B$ isa B orel set in$X_ i$, $i  \ in\ mathb b{N }$. I t is e a sy tosee that$m _ i \in\ mathbf{ M } (X _i)$ .

Let $ \epsilon >0 $ . Let $U_i = U  \capX_ i ,C _i= C  \cap X_i,  \epsi l on_ i =  \ e p s ilo n  2^{-i}$ for$ i \in \ma t hbb {N}$,so  $U _ i$ isopenin $X_ i$ and $ C_ i$ i s compact  in $X _ i$. Bya ssumpti on, th ere  is  $\l a mb da _i\i n  p\ m at hbf { DTM }(X_i)$su ch  that  $\l a m b d a_i\in   W( m_i;U_i, C_i, X_i , \ epsi l on_ i)$.Let $ \nu_ i$  be t he ext ensio nof $\lambda_i$to $ \mathscr{ O}( X)  \c up  \mat h scr{C} (X) $ g iven by  $\nu_i ( A)=\ l a mb da_i(A \cap X_i)$fo r $A \in \m athscr { O} (X )  \cup \m at hsc r{C} ( X )$. I t is ea sy to se e that $\ nu _i $ is  a  defic ie nttop ologi c al m easure , and $\nu_i ( X) = \lambda_i ( X_i) < \infty $ .S i nc e  $\l amb da_i$ is pr oper ,  by[@Bu t le r:D e compTheor em 4. 4 ] given $ \delta >0 $thereare s ets of the fo rm $ V_j \ c a p  X_i, V_ j \i n  \ m athscr{O}(X),j=1,\ldots, n$ such tha t the y cover$X_i$ and $ \sum_{j= 1}^ n \ lam bda _ i (V _j \cap X_i)< \del ta $. Then  op en sets  $V _1,  \l dot s,  V_n, X \ setminus  X _i $co ver  $X$a nd $\sum _{ j=1 
mathscr{O}(X), C_\in \mathscr{K}(X),_\epsilon >0$. Take Borel_subsets $Y_i$_of_$X$ such_that_$ Y_i \subseteq_X_i$ and $\bigsqcup_{i=1}^\infty_Y_i = X$. Consider_$m_i(B) = m(B_\cap_Y_i)$, where $B$ is a Borel set in $X_i$, $i \in \mathbb{N}$. It is_easy_to see_that_$m_i_\in \mathbf{M}(X_i)$.

Let $ \epsilon >0$._Let $U_i = U \cap_X_i, _C_i = C \cap X_i,  \epsilon_ i__= \epsilon 2^{-i}$_for $ i \in \mathbb{N}$, so $U_i$ is open_in $X_i$ and $ C_i$ is_compact in $X_i$._By_assumption,_there is $\lambda_i \in_p\mathbf{DTM}(X_i)$ such that $\lambda_i \in _W(m_i; U_i, C_i, X_i, \epsilon_i)$. Let_$\nu_i$ be the extension of $\lambda_i$ to_$\mathscr{O}(X) \cup \mathscr{C}(X)$ given by $\nu_i(A)_= \lambda_i(A \cap X_i)$ for_$ A_\in \mathscr{O}(X) \cup \mathscr{C}(X)$. It_is easy to_see that_$\nu_i $ is_a deficient topological measure, and $_\nu_i(X) = \lambda_i(X_i)_< \infty$. Since $\lambda_i$ is proper,_by_[@Butler:Decomp Theorem 4.4]_given_$_\delta >0$_there are sets_of_the form_$_V_j \cap X_i, V_j \in \mathscr{O}(X),_j=1,_\ldots, n$ such that they cover $X_i$_and $\sum_{j=1}^n \lambda_i(V_j \cap_X_i)_< \delta$. Then open_sets $V_1, \ldots, V_n, X_\setminus X_i$ cover $X$ and $\sum_{j=1