1) +H(U_2)-H(U_2|S_2) -H(U_1, U_2) \notag \\
& \qquad \quad + H(U_1,  U_2|Z)  - H(U_2)  +  H(U_2|U_1)  +  H(U_1) - H(U_1) \\
& =H(U_1, U_2|Z)- H(U_1|S_1) -H(U_2|S_2) \\
& =H(U_1, U_2|Z)- H(U_1|S_1, S_2) -H(U_2|S_2, S_1, U_1) \label{midtrm}\\
& =H(U_1, U_2|Z) -H(U_1, U_2|S_2, S_1) \\
& =H(U_1, U_2|Z) -H(U_1, U_2|S_2, S_1, Z) \label{lasttrm} \\
& =I(U_1, U_2;S_2, S_1| Z) \label{verylasttrm}\end{aligned}$$ is from $U_1-S_1-S_2$ and $U_2-S_2-S_1U_1$, is from $U_1U_2-S_1S_2-Z$.

Combining and, we conclude that yields, i.e., $$I(U_1, U_2;S_2, S_1| Z) < I(U_1, U_2; Y|Z).$$

Proof of Theorem \[lemma2\] {#appendixA}
===========================

Achievability
-------------

The source coding part is based on lossy source coding at the two encoders conditioned on the side information $Z$ shared between the encoder and decoder [@gray1972conditional], after which the conditional rate distortion functions given in can be achieved for $S_1$ and $S_2$, respectively. The channel coding part is performed based on classical multiple access channel coding with independent channel inputs [@cover2012elements].

Converse
1) + H(U_2)-H(U_2|S_2) -H(U_1, U_2) \notag \\ 
 & \qquad \quad + H(U_1,   U_2|Z)   - H(U_2)   +   H(U_2|U_1)   +   H(U_1) - H(U_1) \\ 
 & = H(U_1, U_2|Z)- H(U_1|S_1) -H(U_2|S_2) \\ 
 & = H(U_1, U_2|Z)- H(U_1|S_1, S_2) -H(U_2|S_2, S_1, U_1) \label{midtrm}\\ 
 & = H(U_1, U_2|Z) -H(U_1, U_2|S_2, S_1) \\ 
 & = H(U_1, U_2|Z) -H(U_1, U_2|S_2, S_1, Z) \label{lasttrm } \\ 
 & = I(U_1, U_2;S_2, S_1| Z) \label{verylasttrm}\end{aligned}$$ is from $ U_1 - S_1 - S_2 $ and $ U_2 - S_2 - S_1U_1 $, is from $ U_1U_2 - S_1S_2 - Z$. 

 Combining and, we conclude that yields, i.e., $ $ I(U_1, U_2;S_2, S_1| Z) < I(U_1, U_2; Y|Z).$$ 

 Proof of Theorem   \[lemma2\ ] { # appendixA } 
 = = = = = = = = = = = = = = = = = = = = = = = = = = = 

 Achievability 
 ------------- 

 The source gull character is based on lossy source coding at the two encoders discipline on the side information $ Z$ share between the encoder and decoder [ @gray1972conditional ], after which the conditional pace distortion functions given in can be achieved for $ S_1 $ and $ S_2 $, respectively. The channel tease part is performed base on authoritative multiple access channel gull with independent channel input signal [ @cover2012elements ]. 

 Converse
1) +H(U_2)-J(U_2|S_2) -H(U_1, U_2) \notag \\
& \qquad \quxd + H(U_1,  U_2|Z)  - H(U_2)  +  H(U_2|U_1)  +  H(U_1) - H(U_1) \\
& =H(U_1, U_2|Z)- H(U_1|S_1) -H(U_2|S_2) \\
& =H(U_1, U_2|Z)- H(U_1|S_1, S_2) -H(U_2|S_2, S_1, U_1) \lavel{midtrm}\\
& =H(U_1, U_2|Z) -H(U_1, U_2|S_2, R_1) \\
& =H(U_1, U_2|Z) -J(U_1, U_2|S_2, S_1, Z) \lauel{lasttrm} \\
& =I(U_1, U_2;S_2, S_1| Z) \lanzl{vergpastcrn}\end{aligned}$$ is from $U_1-S_1-S_2$ dnd $U_2-S_2-S_1U_1$, is frmm $U_1B_2-S_1S_2-Z$.

Combining and, we conclude that yyelds, i.r., $$L(U_1, U_2;S_2, S_1| Z) < I(U_1, O_2; Y|Z).$$

Pgojf or Theorem \[lemma2\] {#appendixA}
===========================

Achievabiljty
-------------

The vource coding part is based on lossy sokrce coding at the two encoders cindieuoned on the side infogkation $Z$ sgared between the encoder and ddcodex [@gray1972condijninap], after whici the bonditional rate distmrtion gunctions givek in ran ve achieved for $S_1$ and $S_2$, respectively. Thg channel wobing part is performee vased on wlasrucau mhlvipme accfss channel ckding with undependent channel igiits [@cover2012elejents].

Cjnderse
1) +H(U_2)-H(U_2|S_2) -H(U_1, U_2) \notag \\ & + U_2|Z) - + H(U_2|U_1) + =H(U_1, H(U_1|S_1) -H(U_2|S_2) \\ =H(U_1, U_2|Z)- H(U_1|S_1, -H(U_2|S_2, S_1, U_1) \label{midtrm}\\ & =H(U_1, -H(U_1, U_2|S_2, S_1) \\ & =H(U_1, U_2|Z) -H(U_1, U_2|S_2, S_1, Z) \label{lasttrm} \\ =I(U_1, U_2;S_2, S_1| Z) \label{verylasttrm}\end{aligned}$$ is from $U_1-S_1-S_2$ and $U_2-S_2-S_1U_1$, is from $U_1U_2-S_1S_2-Z$. and, conclude yields, $$I(U_1, U_2;S_2, S_1| Z) < I(U_1, U_2; Y|Z).$$ Proof of Theorem \[lemma2\] {#appendixA} =========================== Achievability ------------- source coding part is based on lossy source at the two encoders on the side information $Z$ between encoder and [@gray1972conditional], which conditional rate distortion given in can be achieved for $S_1$ and $S_2$, respectively. The channel coding part is performed based classical multiple coding with channel [@cover2012elements].
1) +H(U_2)-H(U_2|S_2) -H(U_1, U_2) \notag \\
& \qquad \quad + H(U_1,  U_2|z)  - H(U_2)  +  H(U_2|U_1)  +  H(U_1) - H(U_1) \\
& =h(U_1, U_2|Z)- H(u_1|S_1) -H(u_2|S_2) \\
& =H(u_1, U_2|z)- H(U_1|S_1, s_2) -H(U_2|S_2, s_1, U_1) \label{midtrm}\\
& =H(u_1, u_2|Z) -H(U_1, u_2|S_2, S_1) \\
& =H(U_1, U_2|Z) -H(U_1, U_2|S_2, S_1, Z) \label{lastTrm} \\
& =I(U_1, u_2;S_2, s_1| z) \labEL{vErylaSttrm}\enD{AlIGNed}$$ Is FrOm $U_1-s_1-S_2$ ANd $u_2-S_2-S_1U_1$, iS frOm $U_1U_2-S_1S_2-Z$.

combining aNd, wE cOnclude that yIElDs, i.e., $$I(U_1, U_2;S_2, S_1| Z) < i(U_1, U_2; y|Z).$$

Proof of TheOreM \[lemma2\] {#ApPenDIxA}
===========================

AcHieVabilIty
-------------

The SOurce cOding part Is BAsed on LOssy souRCE cOdinG at the two encoders COnDItioned on the siDe infoRmATiON $z$ shAreD between thE eNcodeR And decoDEr [@GRAY1972coNDitional], after Which the conDItiOnal raTe DisTOrtion FunctIoNS giVen in can be aChieVed for $S_1$ anD $S_2$, respECtively. tHe channEl codiNg pArt Is peRFoRmEd bAsED on CLaSsiCAl mUltiple aCcEsS chanNel cODING witH inDepeNdent Channel inputs [@CovEr2012elEMenTs].

ConVerse
1) +H(U_2)-H(U_2|S_2) -H(U _1, U_2) \ notag  \\ 
&\q quad  \qu ad + H(U_1,  U _ 2|Z)   - H(U_2)  +  H(U_2|U _1) +H(U_ 1 )- H(U _1) \\&  = H ( U_1 ,U_ 2|Z )- H( U_1|S _1)  -H(U_2 |S_2) \\
&  =H (U _1, U_2|Z)-H (U _1|S_1, S_ 2)-H(U_2|S_2,S_1 , U_1)  \ lab e l{mid trm }\\
&  =H(U_ 1 , U_2| Z) -H(U_1 ,U _2|S_2 ,  S_1) \ \ &=H(U _1, U_2|Z) -H(U_1 ,  U _ 2|S_2, S_1, Z)  \labe l{ l as t t rm}  \\ 
& =I(U_1,  U _2;S_ 2 , S_1|Z )\ l a bel { verylasttrm}\ end{aligned } $$is fro m$U_ 1 -S_1-S _2$ a nd $U_ 2-S_2-S_1U_ 1$,is from $ U_1U_2 - S_1S_2- Z $.

Com bining  an d,we c o nc lu deth a t y i el ds, i.e ., $$I(U _1 ,U_2;S _2,S _ 1 |  Z)< I (U_1 , U_2 ; Y|Z).$$

Pr oof  ofT heo rem \ [lemm a2\]  { #appe ndixA} 
==== == =============== ==== ==

Achie vab il ity 
- ----- - ------ 

T hesourcecodingp art  i s b as ed on lossy source  c o d in g at the  two e n co de r s condit io ned  ont h e sid e in f or mation $ Z$ sha r ed  b etweenth e enco de r a nddecod e r [@ gray19 72condit ional ] , after whicht he conditiona l  r a t ed isto rti on function s gi v en i n ca n  b e a c hieve d for  $ S _1 $  and $S_2$, respect iv ely. T he ch annel codingpart is pe r f o rmed bas ed o n  c l assical multip le ac cess chann e l coding  with  indepen dent chan n e l inputs  [@ cov er2 012 e l em ents].

Conve r s e
1) +H(U_2)-H(U_2|S_2)_-H(U_1, U_2)_\notag \\
& \qquad \quad_+ H(U_1,__U_2|Z) _-_H(U_2)  +_ H(U_2|U_1) _+  H(U_1) -_H(U_1) \\
& =H(U_1,_U_2|Z)-_H(U_1|S_1) -H(U_2|S_2) \\
& =H(U_1, U_2|Z)- H(U_1|S_1, S_2) -H(U_2|S_2, S_1, U_1) \label{midtrm}\\
& =H(U_1, U_2|Z) -H(U_1,_U_2|S_2,_S_1) \\
&_=H(U_1,_U_2|Z)_-H(U_1, U_2|S_2, S_1, Z) \label{lasttrm}_\\
& =I(U_1, U_2;S_2, S_1| Z)_\label{verylasttrm}\end{aligned}$$ is_from $U_1-S_1-S_2$ and $U_2-S_2-S_1U_1$, is from $U_1U_2-S_1S_2-Z$.

Combining and,_we_conclude that yields,_i.e., $$I(U_1, U_2;S_2, S_1| Z) < I(U_1, U_2; Y|Z).$$

Proof_of Theorem \[lemma2\] {#appendixA}
===========================

Achievability
-------------

The source coding part_is based on_lossy_source_coding at the two_encoders conditioned on the side information_$Z$ shared between the encoder and_decoder [@gray1972conditional], after which the conditional rate_distortion functions given in can be_achieved for $S_1$ and $S_2$,_respectively. The_channel coding part is performed_based on classical_multiple access_channel coding with_independent channel inputs [@cover2012elements].

Converse