geq \theta^\mi_{n-1}(y_0; [x_c,x_d] \times \R^{n-2})$$ if both sides are defined.

The same applies when $x$ is exchanged with $y$.

From property (\[t2\]) we know that $\theta^\mi_{n-2}(x,y_0)$ is a decreasing function of $x$. The domain of this function is a convex set, so its intersections with $[x_a,x_b]$ and $[x_c,x_d]$ are both intervals (they are non-empty, for $\theta^\mi_{n-1}$ is defined for both intervals). Applying Lemma \[rosnmix\], part 2, to $\int_{\R^{n-2}} \eta_2(x,y,t_1,\ldots,t_{n-2}) d\mi_{|(x,y)\times \R^{n-2}} (t_1,\ldots,t_{n-2})$ and $\int_{\R^{n-2}} \eta_1(x,y,t_1,\ldots,t_{n-2}) d\mi_{|(x,y)\times \R^{n-2}} (t_1,\ldots,t_{n-2})$ and the shortened intervals we get the thesis.

\[raiseinterval\] Under standard assumptions for a given interval $I = [x_a,x_b]$ the function $\theta^\mi_{n-1}(y;I \times \R^{n-2})$ is a decreasing function of $y$ on its domain. The same applies when $x$ is exchanged with $y$.

Take any $0 \leq y_1 \leq y_2$ in the domain. $K' = K \cap \{x \in I\}$ is a derivative of $K$, and $\theta^\mi_{n-1}(y;I\times \R^{n-2}) = \bar{\theta}_{n-1}^{\mi}(y)$, where $\bar{\theta}^\mi$ is defined by the restrictions of $\eta_1$ and $\eta_2$ to $K'$. Thus from property (\[t3\]) we get the thesis.

\[incthetay\] Under standard assumptions for a given lens set $D$ the domain of the function $y \mapsto \theta^\mi_{n-
geq \theta^\mi_{n-1}(y_0; [ x_c, x_d ] \times \R^{n-2})$$ if both sides are defined. 

 The same applies when $ x$ is switch over with $ y$. 

 From place (\[t2\ ]) we know that $ \theta^\mi_{n-2}(x, y_0)$ is a decreasing affair of $ x$. The world of this function is a convex set, so its intersection with $ [ x_a, x_b]$ and $ [ x_c, x_d]$ are both interval (they are non - empty, for $ \theta^\mi_{n-1}$ is defined for both time interval). Applying Lemma \[rosnmix\ ], part 2, to $ \int_{\R^{n-2 } } \eta_2(x, y, t_1,\ldots, t_{n-2 }) d\mi_{|(x, y)\times \R^{n-2 } } (t_1,\ldots, t_{n-2})$ and $ \int_{\R^{n-2 } } \eta_1(x, y, t_1,\ldots, t_{n-2 }) d\mi_{|(x, y)\times \R^{n-2 } } (t_1,\ldots, t_{n-2})$ and the shorten intervals we get the dissertation. 

 \[raiseinterval\ ] Under standard assumptions for a given interval $ I = [ x_a, x_b]$ the function $ \theta^\mi_{n-1}(y;I \times \R^{n-2})$ is a decreasing function of $ y$ on its domain. The like applies when $ x$ is exchanged with $ y$. 

 Take any $ 0 \leq y_1 \leq y_2 $ in the world. $ K' = K \cap \{x \in I\}$ is a derivative of $ K$, and $ \theta^\mi_{n-1}(y;I\times \R^{n-2 }) = \bar{\theta}_{n-1}^{\mi}(y)$, where $ \bar{\theta}^\mi$ is defined by the restriction of $ \eta_1 $ and $ \eta_2 $ to $ K'$. Thus from place (\[t3\ ]) we get the dissertation. 

 \[incthetay\ ] Under standard assumptions for a given lens set $ D$ the domain of the routine $ y \mapsto \theta^\mi_{n-
geq \theta^\mi_{n-1}(y_0; [x_c,x_d] \times \R^{n-2})$$ if both sides cee defmned.

The same apolies when $x$ is exchanged wivh $y$.

Drom kgoperty (\[t2\]) we know thag $\theta^\mi_{j-2}(x,y_0)$ is a decceasing function of $x$. Thc domzln of vhis function ix a convex set, so its indefszctions with $[x_a,x_b]$ and $[x_c,x_d]$ are both yntervaks (they are non-eipty, sor $\fheta^\mi_{n-1}$ is defined for both interbals). Apklying Lemma \[rosnmox\], part 2, to $\int_{\R^{n-2}} \eta_2(x,y,t_1,\ldlts,t_{j-2}) d\mi_{|(x,y)\times \R^{n-2}} (t_1,\lfots,t_{n-2})$ and $\unt_{\R^{g-2}} \eta_1(x,y,t_1,\ldots,g_{n-2}) d\mi_{|(x,y)\times \R^{n-2}} (t_1,\ldota,t_{n-2})$ and the shortened intervals we gzt the thesus.

\[eaidginterval\] Unver stwndard assuminions fmr a gifen interval $I = [x_e,x_b]$ rhe function $\theta^\mi_{n-1}(b;I \times \R^{n-2})$ is a decteasing futccion of $y$ on its domaun. The vame appuues whtn $e$ ia exchwngxd with $y$.

Taie any $0 \leq y_1 \leq y_2$ in the domsig. $K' = K \cap \{x \ih I\}$ is a derivative of $K$, and $\theta^\mi_{n-1}(y;I\times \R^{n-2}) = \bzr{\theta}_{n-1}^{\mi}(y)$, where $\bar{\thwta}^\mi$ is defined by tje restristions of $\eta_1$ and $\eta_2$ to $K'$. Thus from property (\[t3\]) wa get ghe tmesir.

\[unfthetay\] Under standard assumptions for a giveg ltns set $D$ the domcin of the functooj $u \mapsto \theta^\oi_{n-
geq \theta^\mi_{n-1}(y_0; [x_c,x_d] \times \R^{n-2})$$ if both defined. same applies $x$ is exchanged we that $\theta^\mi_{n-2}(x,y_0)$ is decreasing function of The domain of this function is convex set, so its intersections with $[x_a,x_b]$ and $[x_c,x_d]$ are both intervals (they non-empty, for $\theta^\mi_{n-1}$ is defined for both intervals). Applying Lemma \[rosnmix\], part 2, $\int_{\R^{n-2}} d\mi_{|(x,y)\times (t_1,\ldots,t_{n-2})$ $\int_{\R^{n-2}} \eta_1(x,y,t_1,\ldots,t_{n-2}) d\mi_{|(x,y)\times \R^{n-2}} (t_1,\ldots,t_{n-2})$ and the shortened intervals we get the thesis. \[raiseinterval\] Under standard for a given interval $I = [x_a,x_b]$ the $\theta^\mi_{n-1}(y;I \times \R^{n-2})$ is decreasing function of $y$ on domain. same applies $x$ exchanged $y$. Take any \leq y_1 \leq y_2$ in the domain. $K' = K \cap \{x \in I\}$ is a derivative $K$, and = \bar{\theta}_{n-1}^{\mi}(y)$, $\bar{\theta}^\mi$ defined the restrictions of $\eta_2$ to $K'$. Thus from property the thesis. \[incthetay\] Under standard assumptions for a lens set the domain of the function $y \theta^\mi_{n-
geq \theta^\mi_{n-1}(y_0; [x_c,x_d] \times \R^{n-2})$$ if Both sides aRe defIneD.

ThE sAme aPpliEs when $x$ is exchaNGed wIth $y$.

From property (\[t2\]) we knoW that $\ThETa^\mi_{N-2}(X,y_0)$ Is a deCreasinG FuNCTioN oF $x$. the DoMAiN of thIs fUnction Is a convex sEt, sO iTs intersectiONs With $[x_a,x_b]$ anD $[x_c,X_d]$ are both intErvAls (theY aRe nON-emptY, foR $\thetA^\mi_{n-1}$ is DEfined For both inTeRVals). ApPLying LeMMA \[rOsnmIx\], part 2, to $\int_{\R^{n-2}} \eta_2(x,Y,T_1,\lDOts,t_{n-2}) d\mi_{|(x,y)\timeS \R^{n-2}} (t_1,\ldOtS,T_{n-2})$ AND $\inT_{\R^{n-2}} \Eta_1(x,y,t_1,\ldotS,t_{N-2}) d\mi_{|(x,Y)\Times \R^{n-2}} (T_1,\LdOTS,T_{n-2})$ aND the shortened Intervals we GEt tHe thesIs.

\[RaiSEinterVal\] UnDeR StaNdard assumpTionS for a giveN interVAl $I = [x_a,x_b]$ THe functIon $\theTa^\mI_{n-1}(y;i \timES \R^{N-2})$ iS a dEcREasINg FunCTioN of $y$ on itS dOmAin. ThE samE APPLies WheN $x$ is ExchaNged with $y$.

Take Any $0 \Leq y_1 \LEq y_2$ In the DomaiN. $K' = K \cAp \{X \in I\}$ iS a deriVativE oF $K$, and $\theta^\mi_{n-1}(y;I\TimeS \R^{n-2}) = \bar{\theTa}_{n-1}^{\Mi}(Y)$, whErE $\bar{\tHEta}^\mi$ iS deFinEd by the RestricTIonS oF $\ETA_1$ aNd $\eta_2$ to $K'$. Thus from prOpERTy (\[T3\]) we get thE thesiS.

\[InCtHEtay\] UndeR sTanDard ASSumptIons FOr A given leNs set $D$ THe DoMain of tHe FunctiOn $Y \maPstO \thetA^\Mi_{n-
geq \theta^\mi_{n-1}(y_0;[x_c,x_d]\time s \ R^{ n- 2})$ $ if  both sides ar e  def ined.

The same applie s whe n$ x$ i s  e xchan ged wit h  $ y $ .
Fr om  pr op e rt y (\[ t2\ ]) we k now that $ \th et a^\mi_{n-2}( x ,y _0)$ is adec reasing func tio n of $ x$ . T h e dom ain  of t his fu n ctionis a conv ex set, s o  its in t e rs ecti ons with $[x_a,x_ b ]$ and $[x_c,x_d] $ arebo t hi n ter val s (they ar enon-e m pty, fo r  $ \ t h eta ^ \mi_{n-1}$ is  defined fo r  bo th int er val s ). App lying  L e mma  \[rosnmix\ ], p art 2, to  $\int _ {\R^{n- 2 }} \eta _2(x,y ,t_ 1,\ ldot s ,t _{ n-2 }) d\m i _{ |(x , y)\ times \R ^{ n- 2}} ( t_1, \ l d o ts,t _{n -2}) $ and  $\int_{\R^{n -2} } \e t a_1 (x,y, t_1,\ ldot s, t_{n- 2}) d\ mi_{| (x ,y)\times \R^{n -2}}  (t_1,\ld ots ,t _{n -2 })$ a n d thesho rte ned int ervalsw e g et t h ethesis.

\[raisein te r v al \] Under  stand a rd  a s sumption sfor  a g i v en in terv a l$I = [x_ a,x_b] $  t he  functi on  $\the ta ^\m i_{ n-1}( y ;I \ times\R^{n-2} )$ is a decreasing f u nction of $y$ on i ts doma in.  The same a ppli e s wh en $ x $ise xchan ged w it h  $ y $.

Take any $0 \le qy_1 \l eq y_ 2$ in the dom ain. $K' = K \cap \{x  \in I\ } $ is a derivat ive o f $K$, and $\theta^ \mi_{ n-1}(y;I \times \R ^ { n-2}) =\ba r{\ the ta} _ { n- 1}^{\mi}(y)$, w here  $ \bar{\t het a}^\mi$  is  de fin edby  the rest rictions  o f$\ et a_1 $ and $\eta_2$  t o $ K' $.Thusf rom pr opert y (\ [t 3\ ] ) w e get t h et h esis .
\ [inc the ta y\] U nder sta ndard a ssumption s f o r agi ve n lensset $D$ the d om ain of the  f unc tion $ y \mapsto\theta^\mi_{n-
geq \theta^\mi_{n-1}(y_0;_[x_c,x_d] \times_\R^{n-2})$$ if both sides_are defined.

The_same_applies when_$x$_is exchanged with_$y$.

From property (\[t2\])_we know that $\theta^\mi_{n-2}(x,y_0)$_is a decreasing_function_of $x$. The domain of this function is a convex set, so its intersections_with_$[x_a,x_b]$ and_$[x_c,x_d]$_are_both intervals (they are non-empty,_for $\theta^\mi_{n-1}$ is defined for_both intervals)._Applying Lemma \[rosnmix\], part 2, to $\int_{\R^{n-2}} \eta_2(x,y,t_1,\ldots,t_{n-2})_d\mi_{|(x,y)\times_\R^{n-2}} (t_1,\ldots,t_{n-2})$ and_$\int_{\R^{n-2}} \eta_1(x,y,t_1,\ldots,t_{n-2}) d\mi_{|(x,y)\times \R^{n-2}} (t_1,\ldots,t_{n-2})$ and the shortened intervals_we get the thesis.

\[raiseinterval\] Under standard_assumptions for a_given_interval_$I = [x_a,x_b]$ the_function $\theta^\mi_{n-1}(y;I \times \R^{n-2})$ is a_decreasing function of $y$ on its_domain. The same applies when $x$ is_exchanged with $y$.

Take any $0 \leq_y_1 \leq y_2$ in the_domain. $K'_= K \cap \{x \in_I\}$ is a_derivative of_$K$, and $\theta^\mi_{n-1}(y;I\times_\R^{n-2}) = \bar{\theta}_{n-1}^{\mi}(y)$, where $\bar{\theta}^\mi$ is_defined by the_restrictions of $\eta_1$ and $\eta_2$ to_$K'$._Thus from property_(\[t3\])_we_get the_thesis.

\[incthetay\] Under standard_assumptions_for a_given_lens set $D$ the domain of_the_function $y \mapsto \theta^\mi_{n-