I}-\mathbf{s}_I\cdot\mathbf{x}_I=\left\{\rgivend\sum_{\ell=1}^{n-1} \alpha_\ell \dvec^\ell \rgiv 0 \le \alpha_\ell \le 1 \text{ for }\ell=1,\ldots,n-1\right\}\cap\Z^I.$$

Now set $X^k_I\coloneq\{\mathbf{0},\dvec^n\}$ and let $V^k\coloneq V^{k,\mathbf{s}_I}$. By Equation (\[eqn:faces\]) again, we know that $D^k(\mathbf{s}_I)=X^k_I$. As $\mathbf{d}^n\in\mathcal{D}$, which is a, we know that $\mathbf{d}^n$ is a primitive integer vector, from which it follows that $\conv(X^k_I)\cap\Z^I=X^k_I$. Thus, by Lemma \[lem:linConv\], we know that $V^k$ is concave.

Observe that $$D^j(\mathbf{s}_I)+D^k(\mathbf{s}_I)=\left\{\rgivend\sum_{\ell=1}^n \alpha_\ell \dvec^\ell \rgiv 0 \le \alpha_\ell \le 1 \text{ for }\ell=1,\ldots,n-1 \text{ and }\alpha_n\in\{0,1\}\right\} \cap \Z^I.$$ So $\conv(D^j(\mathbf{s}_I)+D^k(\mathbf{s}_I))=\mathcal{P}$.

Let the total endowment $\tot$ be $\mathbf{z}$. Set $\mathbf{w}^j_I\coloneq\mathbf{z}\in X^j_I$, and set $\mathbf{w}^k_I\coloneq\mathbf{0}\in X^k_I$. This is clearly an endowment allocation. Since $\tot\in\mathcal{P}=\conv(D^j(\mathbf{s}_I)+D^k(\mathbf{s}_I))$, we see $\mathbf{s}_I$ is a pseudo-equilibrium price vector. But, since $\linset$ is linearly independent and since $0<\beta_n<1$, we know $\tot\
I}-\mathbf{s}_I\cdot\mathbf{x}_I=\left\{\rgivend\sum_{\ell=1}^{n-1 } \alpha_\ell \dvec^\ell \rgiv 0 \le \alpha_\ell \le 1 \text { for } \ell=1,\ldots, n-1\right\}\cap\Z^I.$$ 

 Now set $ X^k_I\coloneq\{\mathbf{0},\dvec^n\}$ and let $ V^k\coloneq V^{k,\mathbf{s}_I}$. By Equation (\[eqn: faces\ ]) again, we know that $ D^k(\mathbf{s}_I)=X^k_I$. As $ \mathbf{d}^n\in\mathcal{D}$, which is a, we acknowledge that $ \mathbf{d}^n$ is a crude integer vector, from which it follows that $ \conv(X^k_I)\cap\Z^I = X^k_I$. Thus, by Lemma \[lem: linConv\ ], we know that $ V^k$ is concave. 

 note that $ $ D^j(\mathbf{s}_I)+D^k(\mathbf{s}_I)=\left\{\rgivend\sum_{\ell=1}^n \alpha_\ell \dvec^\ell \rgiv 0 \le \alpha_\ell \le 1 \text { for } \ell=1,\ldots, n-1 \text { and } \alpha_n\in\{0,1\}\right\ } \cap \Z^I.$$ So $ \conv(D^j(\mathbf{s}_I)+D^k(\mathbf{s}_I))=\mathcal{P}$. 

 Let the total endowment $ \tot$ be $ \mathbf{z}$. set up $ \mathbf{w}^j_I\coloneq\mathbf{z}\in X^j_I$, and set up $ \mathbf{w}^k_I\coloneq\mathbf{0}\in X^k_I$. This is clearly an endowment allotment. Since $ \tot\in\mathcal{P}=\conv(D^j(\mathbf{s}_I)+D^k(\mathbf{s}_I))$, we see $ \mathbf{s}_I$ is a pseudo - equilibrium monetary value vector. But, since $ \linset$ is linearly independent and since $ 0<\beta_n<1 $, we know $ \tot\
I}-\mahhbf{s}_I\cdot\mathbf{x}_I=\left\{\rglvend\sum_{\ell=1}^{n-1} \alpkq_\ell \dtec^\ell \dgiv 0 \le \alpha_\ell \le 1 \text{ for }\ell=1,\ldltw,n-1\rigyt\}\cap\Z^I.$$

Now set $X^k_I\coloveq\{\mathbf{0},\fvec^n\}$ ane leu $V^k\coloneq V^{k,\matigf{s}_I}$. By Equatjln (\[exi:faces\]) again, we know that $D^k(\mathbf{s}_I)=X^k_I$. Ar $\lathbf{d}^n\in\mathcal{D}$, which is a, we knjw that $\mwthbf{d}^n$ is a ptimitpvq infvgtr vector, from which it follows tgat $\conn(X^k_I)\cap\Z^I=X^k_I$. Thus, by Lemma \[lem:linConv\], we knlw tjat $V^k$ is concave.

Ohserve that $$D^j(\mwrhbf{s}_I)+D^k(\mathcf{s}_I)=\left\{\rgprend\sum_{\ell=1}^n \alpha_\ell \dvec^\ell \rgiv 0 \le \alphx_\ell \ke 1 \text{ fir }\elp=1,\ndots,n-1 \text{ and }\wlpha_n\in\{0,1\}\righb\} \cap \Z^H.$$ So $\comv(D^j(\mathbf{s}_I)+D^k(\katibf{s}_U))=\mathcal{P}$.

Let the totan endowment $\tot$ be $\mathbf{z}$. Vec $\mathbf{w}^j_I\coloneq\matybd{z}\in F^j_I$, dnd rwt $\oatgbh{w}^k_J\colonfq\methbf{0}\in X^k_I$. This is clwarly an endowment sljication. Since $\tot\in\iaehcal{P}=\conv(D^j(\mathbf{s}_I)+D^k(\mathbf{s}_I))$, we see $\mdthgf{s}_I$ is a pseudo-equilibeium price vector. But, since $\ligset$ is linearly independent and since $0<\beta_n<1$, we ktow $\tkg\
I}-\mathbf{s}_I\cdot\mathbf{x}_I=\left\{\rgivend\sum_{\ell=1}^{n-1} \alpha_\ell \dvec^\ell \rgiv 0 \le \alpha_\ell \text{ }\ell=1,\ldots,n-1\right\}\cap\Z^I.$$ Now $X^k_I\coloneq\{\mathbf{0},\dvec^n\}$ and let again, know that $D^k(\mathbf{s}_I)=X^k_I$. $\mathbf{d}^n\in\mathcal{D}$, which is we know that $\mathbf{d}^n$ is a integer vector, from which it follows that $\conv(X^k_I)\cap\Z^I=X^k_I$. Thus, by Lemma \[lem:linConv\], we that $V^k$ is concave. Observe that $$D^j(\mathbf{s}_I)+D^k(\mathbf{s}_I)=\left\{\rgivend\sum_{\ell=1}^n \alpha_\ell \dvec^\ell \rgiv 0 \le \alpha_\ell 1 for \text{ }\alpha_n\in\{0,1\}\right\} \cap \Z^I.$$ So $\conv(D^j(\mathbf{s}_I)+D^k(\mathbf{s}_I))=\mathcal{P}$. Let the total endowment $\tot$ be $\mathbf{z}$. Set $\mathbf{w}^j_I\coloneq\mathbf{z}\in X^j_I$, and $\mathbf{w}^k_I\coloneq\mathbf{0}\in X^k_I$. This is clearly an endowment allocation. $\tot\in\mathcal{P}=\conv(D^j(\mathbf{s}_I)+D^k(\mathbf{s}_I))$, we see $\mathbf{s}_I$ a pseudo-equilibrium price vector. But, $\linset$ linearly independent since we $\tot\
I}-\mathbf{s}_I\cdot\mathbf{x}_I=\left\{\Rgivend\sum_{\Ell=1}^{n-1} \aLphA_\elL \dVec^\eLl \rgIv 0 \le \alpha_\ell \le 1 \TExt{ fOr }\ell=1,\ldots,n-1\right\}\cap\Z^I.$$

NOw set $x^k_i\ColoNEq\{\MathbF{0},\dvec^n\}$ aND lET $v^k\cOlOnEq V^{K,\mAThBf{s}_I}$. BY EqUation (\[eQn:faces\]) agaIn, wE kNow that $D^k(\matHBf{S}_I)=X^k_I$. As $\matHbf{D}^n\in\mathcal{D}$, WhiCh is a, wE kNow THat $\maThbF{d}^n$ is A primiTIve intEger vectoR, fROm whicH It folloWS ThAt $\coNv(X^k_I)\cap\Z^I=X^k_I$. Thus, BY LEMma \[lem:linConv\], wE know tHaT $v^k$ IS ConCavE.

Observe thAt $$d^j(\matHBf{s}_I)+D^k(\mAThBF{S}_i)=\leFT\{\rgivend\sum_{\elL=1}^n \alpha_\ell \dVEc^\eLl \rgiv 0 \Le \AlpHA_\ell \le 1 \Text{ fOr }\ELl=1,\lDots,n-1 \text{ anD }\alpHa_n\in\{0,1\}\righT\} \cap \Z^I.$$ sO $\conv(D^j(\MAthbf{s}_I)+d^k(\mathBf{s}_i))=\maThcaL{p}$.

LEt The ToTAl eNDoWmeNT $\toT$ be $\mathbF{z}$. seT $\mathBf{w}^j_i\COLOneq\MatHbf{z}\In X^j_I$, And set $\mathbf{w}^K_I\cOlonEQ\maThbf{0}\iN X^k_I$. THis iS cLearlY an endOwmenT aLlocation. Since $\tOt\in\Mathcal{P}=\cOnv(d^j(\MatHbF{s}_I)+D^k(\MAthbf{s}_i))$, we See $\Mathbf{s}_i$ is a pseUDo-eQuILIBrIum price vector. But, sInCE $\LiNset$ is liNearly INdEpENdent and SiNce $0<\Beta_N<1$, WE know $\Tot\
I}-\mathbf{s}_I\cdot\mathb f{x}_I=\le ft\{\ rgi ven d\ sum_ {\el l=1}^{n-1} \al p ha_\ ell \dvec^\ell \rgiv 0  \le\a l pha_ \ el l \le  1 \tex t {f o r } \e ll =1, \l d ot s,n-1 \ri ght\}\c ap\Z^I.$$
No wset $X^k_I\c o lo neq\{\math bf{ 0},\dvec^n\} $ a nd let  $ V^k \ colon eqV^{k, \mathb f {s}_I} $. By Equ at i on (\[ e qn:face s \ ])  aga in, we know that$ D^ k (\mathbf{s}_I) =X^k_I $. As $ \ma thb f{d}^n\in\ ma thcal { D}$, wh i ch i s  a, we know that$\mathbf{d} ^ n$is a p ri mit i ve int egerve c tor , from whic h it  followsthat $ \ conv(X^ k _I)\cap \Z^I=X ^k_ I$.  Thu s ,by  Le mm a  \[ l em :li n Con v\], wekn ow  that  $V^ k $ i s co nca ve.
Obse rve that $$D^ j(\ math b f{s }_I)+ D^k(\ math bf {s}_I )=\lef t\{\r gi vend\sum_{\ell= 1}^n  \alpha_\ ell  \ dve c^ \ell\ rgiv 0  \l e \ alpha_\ ell \le 1 \ te x t {  f or }\ell=1,\ldots, n- 1 \t ext{ and  }\alp h a_ n\ i n\{0,1\} \r igh t\}\ c ap \Z ^I.$ $  S o $\conv (D^j(\ m at hb f{s}_I) +D ^k(\ma th bf{ s}_ I))=\ m athc al{P}$ .

Let t he to t al endowment $ \ tot$ be $\mat h bf { z }$ .  Set  $\ mathbf{w}^j _I\c o lone q\ma t hb f{z } \in X ^j_I$ ,a nd set $\mathbf{w}^k_I \c oloneq \math bf{0}\in X^k_ I$. This i s c learly a n en d ow m ent allocation . Sin ce $\tot\i n \mathcal {P}=\ conv(D^j (\mathbf{ s } _I)+D^k( \ma thb f{s }_I ) ) $,  we see $\mat h b f{s} _I $ is apse udo-equ ili bri umpri ce  vector.But, sin ce  $ \l in set $ isl inearlyin dep en den t and since$0<\b eta_ n< 1$ ,  we  know $ \ to t \ 
I}-\mathbf{s}_I\cdot\mathbf{x}_I=\left\{\rgivend\sum_{\ell=1}^{n-1} \alpha_\ell_\dvec^\ell \rgiv_0 \le \alpha_\ell \le_1 \text{_for_}\ell=1,\ldots,n-1\right\}\cap\Z^I.$$

Now set_$X^k_I\coloneq\{\mathbf{0},\dvec^n\}$_and let $V^k\coloneq_V^{k,\mathbf{s}_I}$. By Equation_(\[eqn:faces\]) again, we know_that $D^k(\mathbf{s}_I)=X^k_I$. As_$\mathbf{d}^n\in\mathcal{D}$,_which is a, we know that $\mathbf{d}^n$ is a primitive integer vector, from which_it_follows that_$\conv(X^k_I)\cap\Z^I=X^k_I$._Thus,_by Lemma \[lem:linConv\], we know_that $V^k$ is concave.

Observe that_$$D^j(\mathbf{s}_I)+D^k(\mathbf{s}_I)=\left\{\rgivend\sum_{\ell=1}^n \alpha_\ell_\dvec^\ell \rgiv 0 \le \alpha_\ell \le 1 \text{_for_}\ell=1,\ldots,n-1 \text{ and_}\alpha_n\in\{0,1\}\right\} \cap \Z^I.$$ So $\conv(D^j(\mathbf{s}_I)+D^k(\mathbf{s}_I))=\mathcal{P}$.

Let the total endowment $\tot$_be $\mathbf{z}$. Set $\mathbf{w}^j_I\coloneq\mathbf{z}\in X^j_I$, and_set $\mathbf{w}^k_I\coloneq\mathbf{0}\in X^k_I$._This_is_clearly an endowment allocation._Since $\tot\in\mathcal{P}=\conv(D^j(\mathbf{s}_I)+D^k(\mathbf{s}_I))$, we see $\mathbf{s}_I$ is_a pseudo-equilibrium price vector. But, since_$\linset$ is linearly independent and since $0<\beta_n<1$,_we know $\tot\