owment $\numerdow,$ a price vector $\p,$ price increments $0 < \mu < \lambda$, and goods $i \not= k$ such that Conditions \[cond:start\], \[cond:end\], \[cond:middle\], and \[cond:ineq\] from the statement hold but $\bunprComp{k} < \bunComp{k}.$

By Remark \[rem:netSubDual\], there exists a utility level $\ub$ such that $\valHDef{j}$ is not a  valuation. Hence, by Lemma \[lem:dHvalH\] and the “if" direction of Fact \[fac:subsDemCplx\] for $\valFn{j} = \valHDef{j}$, there exists a price vector $\hp$ such that $|\dH{j}{\hp}{\ub}| = 2$, and writing $\dH{j}{\hp}{\ub} = \{\bun,\bunpr\},$ the difference $\bunpr - \bun$ has at least two positive components or at least two negative components. Without loss of generality, we can assume that the difference $\bunpr - \bun$ has at least two negative components. Suppose that $\bunprComp{i} < \bunComp{i}$ (so Condition \[cond:ineq\] holds) and that $\bunprComp{k} < \bunComp{k},$ where $i,k \in I$ are distinct goods.

Define a money endowment $\numerdow$ by $$\numerdow = \cf{j}{\bun}{\ub} + \hp \cdot (\bun - \bundow) = \cf{j}{\bunpr}{\ub} +  \hp \cdot (\bunpr - \bundow);$$ Fact \[fac:dualDem\] implies that $\dM{j}{\hp}{\bunndow} = \{\bun,\bunpr\}$. Let $\mu$ be such that $$\dM{j}{\hp - \mu \e{i}}{\bunndow}, \dM{j}{\hp + \mu \e{i}}{\bunndow} \subseteq \{\bun,\bunpr\};$$ such a $\mu$ exists due to the upper hemicontinuity of $\dMFn{j}$. Let $\p = \hp -
owment $ \numerdow,$ a price vector $ \p,$ price increments $ 0 < \mu < \lambda$, and goods $ i \not= k$ such that Conditions \[cond: start\ ], \[cond: end\ ], \[cond: middle\ ], and \[cond: ineq\ ] from the instruction delay but $ \bunprComp{k } < \bunComp{k}.$ 

 By Remark   \[rem: netSubDual\ ], there exists a utility level $ \ub$ such that $ \valHDef{j}$ is not a   evaluation. Hence, by Lemma   \[lem: dHvalH\ ] and the “ if " direction of Fact   \[fac: subsDemCplx\ ] for $ \valFn{j } = \valHDef{j}$, there exists a monetary value vector $ \hp$ such that $ |\dH{j}{\hp}{\ub}| = 2 $, and write $ \dH{j}{\hp}{\ub } = \{\bun,\bunpr\},$ the difference $ \bunpr - \bun$ has at least two positive components or at least two minus components. Without loss of generalization, we can assume that the difference $ \bunpr - \bun$ has at least two negative components. Suppose that $ \bunprComp{i } < \bunComp{i}$ (so Condition   \[cond: ineq\ ] apply) and that $ \bunprComp{k } < \bunComp{k},$ where $ i, k \in I$ are distinct goods. 

 Define a money endowment $ \numerdow$ by $ $ \numerdow = \cf{j}{\bun}{\ub } + \hp \cdot (\bun - \bundow) = \cf{j}{\bunpr}{\ub } +   \hp \cdot (\bunpr - \bundow);$$ Fact   \[fac: dualDem\ ] incriminate that $ \dM{j}{\hp}{\bunndow } = \{\bun,\bunpr\}$. Let $ \mu$ be such that $ $ \dM{j}{\hp - \mu \e{i}}{\bunndow }, \dM{j}{\hp + \mu \e{i}}{\bunndow } \subseteq \{\bun,\bunpr\};$$ such a $ \mu$ exists due to the upper hemicontinuity of $ \dMFn{j}$. Let $ \p = \hp -
owmfnt $\numerdow,$ a price vecuor $\p,$ price increments $0 < \mu < \lzmbda$, ana goods $i \not= k$ such that Coidituons \[xond:start\], \[cond:end\], \[cond:oiddle\], anf \[cond:inwq\] fcom the statemenv hold bmc $\bunlvComp{n} < \bunComp{k}.$

By Rgmark \[rem:netSgbDual\], there efirtd a utility level $\ub$ such that $\valHQef{j}$ is nlt a  valuation. Henbe, by Mvmna \[lem:dHvalH\] and the “if" directjon of Hact \[fac:subsDemCllx\] for $\valFn{j} = \valHDef{j}$, tjere exists a price veftor $\hp$ sucy thwr $|\dH{j}{\hp}{\ub}| = 2$, xnd writing $\dH{j}{\hp}{\ub} = \{\bon,\bunpr\},$ the difference $\bunpr - \buv$ has at least jci plvitive compinentf or at leasb two nagative components. Wibhout lows of generality, we cen assume that the dyfference $\bbnpr - \bun$ has at leasr rwo nggatiee cunpovenus. Xulpose hhav $\bunprComp{j} < \bunComp{i}$ (so Condition \[cond:intq\] rilds) and that $\bunprSoip{k} < \bunComp{k},$ where $i,k \in I$ are distincu gooss.

Define a money endowmwnt $\numerdow$ by $$\numerfow = \cf{j}{\btn}{\ub} + \hp \cdot (\bun - \bundow) = \cf{j}{\bunpr}{\ub} +  \hp \cdot (\bgnpr - \cunbiw);$$ Fazr \[fwc:dualDem\] implies that $\dM{j}{\hp}{\bunndow} = \{\bun,\bunpr\}$. Meu $\ml$ be such that $$\dM{m}{\hp - \mu \e{i}}{\bunndow}, \cM{u}{\hl + \mu \e{i}}{\bunndod} \subszfes \{\bun,\bunpr\};$$ such a $\lu$ exisjs due to the ukper nemicontinuity of $\dMFn{j}$. Let $\p = \hp -
owment $\numerdow,$ a price vector $\p,$ price < < \lambda$, goods $i \not= \[cond:end\], and \[cond:ineq\] from statement hold but < \bunComp{k}.$ By Remark \[rem:netSubDual\], there a utility level $\ub$ such that $\valHDef{j}$ is not a valuation. Hence, by \[lem:dHvalH\] and the “if" direction of Fact \[fac:subsDemCplx\] for $\valFn{j} = \valHDef{j}$, there a vector such $|\dH{j}{\hp}{\ub}| = 2$, and writing $\dH{j}{\hp}{\ub} = \{\bun,\bunpr\},$ the difference $\bunpr - \bun$ has at least positive components or at least two negative components. loss of generality, we assume that the difference $\bunpr \bun$ at least negative Suppose $\bunprComp{i} < \bunComp{i}$ Condition \[cond:ineq\] holds) and that $\bunprComp{k} < \bunComp{k},$ where $i,k \in I$ are distinct goods. Define a endowment $\numerdow$ = \cf{j}{\bun}{\ub} \hp (\bun \bundow) = \cf{j}{\bunpr}{\ub} \cdot (\bunpr - \bundow);$$ Fact \[fac:dualDem\] = \{\bun,\bunpr\}$. Let $\mu$ be such that $$\dM{j}{\hp \mu \e{i}}{\bunndow}, + \mu \e{i}}{\bunndow} \subseteq \{\bun,\bunpr\};$$ such $\mu$ exists due to the upper hemicontinuity of Let $\p = \hp -
owment $\numerdow,$ a price vectoR $\p,$ price incRemenTs $0 < \mU < \laMbDa$, anD gooDs $i \not= k$ such thaT condItions \[cond:start\], \[cond:end\], \[Cond:mIdDLe\], anD \[CoNd:ineQ\] from thE StATEmeNt HoLd bUt $\BUnPrComP{k} < \bUnComp{k}.$

by Remark \[reM:neTSUbDual\], there eXIsTs a utility LevEl $\ub$ such that $\ValhDef{j}$ iS nOt a  VAluatIon. hence, By LemmA \[Lem:dHvAlH\] and the “If" DIrectiON of Fact \[FAC:sUbsDEmCplx\] for $\valFn{j} = \vaLhDEF{j}$, there exists a Price vEcTOr $\HP$ SucH thAt $|\dH{j}{\hp}{\ub}| = 2$, aNd WritiNG $\dH{j}{\hp}{\uB} = \{\BuN,\BUNpr\},$ THe difference $\bUnpr - \bun$ has aT LeaSt two pOsItiVE compoNents Or AT leAst two negatIve cOmponents. withouT Loss of gENeralitY, we can AssUme That THe DiFfeReNCe $\bUNpR - \buN$ Has At least tWo NeGativE comPONENts. SUppOse tHat $\buNprComp{i} < \bunCoMp{i}$ (So CoNDitIon \[coNd:ineQ\] holDs) And thAt $\bunpRComp{K} < \bUnComp{k},$ where $i,k \iN I$ arE distinct GooDs.

defInE a monEY endowMenT $\nuMerdow$ bY $$\numerdOW = \cf{J}{\bUN}{\UB} + \hP \cdot (\bun - \bundow) = \cf{j}{\bUnPR}{\Ub} +  \Hp \cdot (\buNpr - \bunDOw);$$ faCT \[fac:dualdeM\] imPlieS THat $\dM{J}{\hp}{\bUNnDow} = \{\bun,\buNpr\}$. Let $\MU$ bE sUch that $$\DM{J}{\hp - \mu \e{I}}{\bUnnDow}, \DM{j}{\hp + \MU \e{i}}{\bUnndow} \Subseteq \{\Bun,\buNPr\};$$ such a $\mu$ existS Due to the upper HEmICOnTInuiTy oF $\dMFn{j}$. Let $\p = \hP -
owment $\numerdow,$ a pric e vector $ \p,$pri cein crem ents  $0 < \mu < \l a mbda $, and goods $i \not=k$ su ch that Co nditi ons \[c o nd : s tar t\ ],  \[ co n d: end\] , \ [cond:m iddle\], a nd\[ cond:ineq\]f ro m the stat eme nt hold but$\b unprCo mp {k} < \bu nCo mp{k} .$

By Remark  \[rem:ne tS u bDual\ ] , there e xi stsa utility level $ \ ub $  such that $\v alHDef {j } $i s  no t a   valuatio n.  Henc e , by Le m ma \ [ lem : dHvalH\] andthe “if" di r ect ion of  F act \[fac: subsD em C plx \] for $\va lFn{ j} = \val HDef{j } $, ther e  exists  a pri cevec tor$ \h p$  su ch tha t  $ |\d H {j} {\hp}{\u b} |= 2$,  and w r i ting  $\ dH{j }{\hp }{\ub} = \{\b un, \bun p r\} ,$ th e dif fere nc e $\b unpr -  \bun $has at least tw o po sitive co mpo ne nts  o r atl east t woneg ative c omponen t s.Wi t h o ut  loss of generalit y, w ecan assu me tha t  t he differen ce  $\ bunp r - \bu n$ h a sat least  two n e ga ti ve comp on ents.Su ppo sethat$ \bun prComp {i} < \b unCom p {i}$ (so Condi t ion \[cond:in e q\ ] ho l ds)and  that $\bun prCo m p{k}  < \ b un Com p {k},$  wher e$ i, k  \in I$ are distinc tgoods. 

Def ine a money e ndowment $ \ n u merdow$by $ $ \n u merdow = \cf{j }{\bu n}{\ub} +\ hp \cdot  (\bu n - \bun dow) = \c f { j}{\bunp r}{ \ub } +   \ h p  \ cdot (\bunpr- \bun do w);$$ F act  \[fac: dua lDe m\]  im pl ies that$\dM{j}{ \h p} {\ bu nnd ow} = \{\bun,\ bu npr \} $.Let $ \ mu$ be  such  tha t$$ \ dM{ j}{\hp-  \ m u  \e{ i} }{ \bun ndo w} , \dM {j}{ \ hp+ \mu \ e{i}}{\bu nnd o w} \ su bs eteq \{ \bun,\bunpr\} ;$ $ such a $ \m u$exists d ue to th e upper hemicontinuityo f $\dMF n{j }$. L et $ \p = \hp-
owment $\numerdow,$_a price_vector $\p,$ price increments_$0 <_\mu_< \lambda$,_and_goods $i \not=_k$ such that_Conditions \[cond:start\], \[cond:end\], \[cond:middle\],_and \[cond:ineq\] from_the_statement hold but $\bunprComp{k} < \bunComp{k}.$

By Remark \[rem:netSubDual\], there exists a utility level $\ub$ such_that_$\valHDef{j}$ is_not_a_ valuation. Hence, by Lemma \[lem:dHvalH\] and_the “if" direction of Fact \[fac:subsDemCplx\]_for $\valFn{j}_= \valHDef{j}$, there exists a price vector $\hp$_such_that $|\dH{j}{\hp}{\ub}| =_2$, and writing $\dH{j}{\hp}{\ub} = \{\bun,\bunpr\},$ the difference $\bunpr_- \bun$ has at least two_positive components or_at_least_two negative components. Without_loss of generality, we can assume_that the difference $\bunpr - \bun$_has at least two negative components. Suppose_that $\bunprComp{i} < \bunComp{i}$ (so Condition \[cond:ineq\]_holds) and that $\bunprComp{k} <_\bunComp{k},$ where_$i,k \in I$ are distinct_goods.

Define a money_endowment $\numerdow$_by $$\numerdow =_\cf{j}{\bun}{\ub} + \hp \cdot (\bun -_\bundow) = \cf{j}{\bunpr}{\ub}_+  \hp \cdot (\bunpr -_\bundow);$$_Fact \[fac:dualDem\] implies that_$\dM{j}{\hp}{\bunndow}_=_\{\bun,\bunpr\}$. Let_$\mu$ be such_that_$$\dM{j}{\hp -_\mu_\e{i}}{\bunndow}, \dM{j}{\hp + \mu \e{i}}{\bunndow} \subseteq_\{\bun,\bunpr\};$$_such a $\mu$ exists due to the_upper hemicontinuity of $\dMFn{j}$._Let_$\p = \hp -