 is a non-degenerate $\Theta$ function. From the assumption we can apply Theorem \[main\], thus $$\theta_{n-1}(y = a; D \cap A) \geq \theta_{n-1}(y = a; D) \geq \theta_{n-1}(y=a;D \cap {{\bar{A}}}).$$ As $\theta_{n-1}(y=a;D) = \theta(D)$, which does not depend on $a$, we can apply Lemma \[dividesets\] to get $\theta(D\cap A) \geq \theta(D) \geq \theta(D \cap {{\bar{A}}})$, and as $\theta(D) = \theta(K)$ this means $D$ is appropriate.

\[almhorline\] Assume Theorem \[main\] holds for $n' < n$. Under strict assumptions if for a given strict lens set $D$ satisfying (\[eqthetacon\]) for every $\beta > 0$ there exists a line $L_\beta$ with inclination between $0$ and $\beta$ (i.e. almost horizontal) or between $\frac{\pi}{2} -\beta$ and $\frac{\pi}{2}$ (i.e. almost vertical) dividing ${{\tilde{D}}}$ into two sets ${{\tilde{D}}}_-$ and ${{\tilde{D}}}_+$ of non-zero $\mi_2$-measure with $\theta(D_-) = \theta(D_+) = \theta(D)$, then $D$ is an appropriate set.

Assume $\theta(D) > 0$ (otherwise the thesis is trivial). We choose a sequence of such lines $L_i$ with $\beta {{\rightarrow}}0$. We choose a subsequence such that all lines are almost vertical or all are almost horizontal (we shall assume without loss of generality that all are almost horizontal). From the compactness of the set of lines intersecting the closure of ${{\tilde{D}}}\cap {{\rm supp}}(\mi_2)$ we can choose a subsequence of lines converging to some line $L$, which, of course, will be horizontal. If $L$ cuts off a non-zero $\mi_2$ measure both above and below it, then both the sets into which ${{\tilde{D}}}$ is divided have the same $\theta = \theta(D)$ from the continuity of $\theta$ with respect to the set and the thesis follows from Lemma
is a non - degenerate $ \Theta$ function. From the assumption we can apply Theorem \[main\ ], therefore $ $ \theta_{n-1}(y = a; D \cap A) \geq \theta_{n-1}(y = a; D) \geq \theta_{n-1}(y = a;D \cap { { \bar{A}}}).$$ As $ \theta_{n-1}(y = a;D) = \theta(D)$, which does not count on $ a$, we can practice Lemma \[dividesets\ ] to get $ \theta(D\cap A) \geq \theta(D) \geq \theta(D \cap { { \bar{A}}})$, and as $ \theta(D) = \theta(K)$ this entail $ D$ is appropriate. 

 \[almhorline\ ] Assume Theorem \[main\ ] holds for $ n' < n$. Under strict assumption if for a impart strict lens sic $ D$ satisfying (\[eqthetacon\ ]) for every $ \beta > 0 $ there exists a tune $ L_\beta$ with inclination between $ 0 $ and $ \beta$ (i.e. almost horizontal) or between $ \frac{\pi}{2 } -\beta$ and $ \frac{\pi}{2}$ (i.e. about vertical) dividing $ { { \tilde{D}}}$ into two sets $ { { \tilde{D}}}_-$ and $ { { \tilde{D}}}_+$ of non - zero $ \mi_2$-measure with $ \theta(D_-) = \theta(D_+) = \theta(D)$, then $ D$ is an appropriate set. 

 Assume $ \theta(D) > 0 $ (otherwise the thesis is fiddling). We choose a sequence of such lines $ L_i$ with $ \beta { { \rightarrow}}0$. We choose a subsequence such that all line are almost vertical or all are almost horizontal (we shall assume without personnel casualty of generality that all are almost horizontal). From the compactness of the set of lines intersect the closure of $ { { \tilde{D}}}\cap { { \rm supp}}(\mi_2)$ we can choose a subsequence of lines converging to some line $ L$, which, of course, will be horizontal. If $ L$ cut off a non - zero $ \mi_2 $ measure both above and below it, then both the sets into which $ { { \tilde{D}}}$ is divided have the same $ \theta = \theta(D)$ from the continuity of $ \theta$ with respect to the set and the thesis follows from Lemma
 is a non-degenerate $\Theta$ fmnction. From the assumpvion we can appuy Theorem \[main\], thus $$\theta_{n-1}(y = q; D \cqp A) \geq \theta_{n-1}(y = a; D) \eeq \theta_{j-1}(y=a;D \cap {{\bar{E}}}).$$ As $\theta_{n-1}(y=a;D) = \vgeta(D)$, wmnch dkcs noc vepend on $a$, we gan apply Lamma \[dividesetv\] go get $\theta(D\cap A) \geq \theta(D) \geq \theea(D \cap {{\bwr{A}}})$, and as $\theja(D) = \uheea(K)$ fhis means $D$ is appropriate.

\[almhorljne\] Asslme Theorem \[main\] nolds for $n' < n$. Under strich asdumptions if for a given strixt lqbs set $D$ satksfying (\[equhztacon\]) for gvery $\beta > 0$ there exists a line $L_\betc$ with inclunqtilt between $0$ end $\bena$ (i.e. almost mprizondal) or netween $\frac{\pi}{2} -\beva$ abd $\frac{\pi}{2}$ (i.e. almost vxrtical) dividing ${{\tilqe{D}}}$ into dwk sets ${{\tilde{D}}}_-$ and ${{\tulde{D}}}_+$ of ton-zdeo $\oi_2$-mtasnre with $\hheva(D_-) = \theta(D_+) = \theta(D)$, thwn $D$ is an appropristq set.

Assume $\thsta(D) > 0$ (oeherwise the thesis is trivial). We choost a ssquence of such lines $L_u$ with $\beta {{\rightarroa}}0$. We choofe a subsequence such that all lines are almost varticel or aju age almost horizontal (we shall assume without jksx pf generality bhat all are almosy jotyzontal). From jhe com'zcfness of the set ov lines inteesecting uhe ckosure of ${{\tilde{D}}}\cap {{\rm supp}}(\ni_2)$ we can chjise a subsequence lf lines couvergimg to some line $L$, which, of cuurss, will be hlrizontal. Kf $L$ cuts off a von-dero $\mi_2$ measure both above and below it, theu both tfe sgts intj which ${{\tipde{D}}}$ lv divided have the same $\tveta = \thetw(D)$ from the continuity of $\theta$ with respect jo dhe set and the bhesis follows srom Lemma
is a non-degenerate $\Theta$ function. From the can Theorem \[main\], $$\theta_{n-1}(y = a; = D) \geq \theta_{n-1}(y=a;D {{\bar{A}}}).$$ As $\theta_{n-1}(y=a;D) \theta(D)$, which does not depend on we can apply Lemma \[dividesets\] to get $\theta(D\cap A) \geq \theta(D) \geq \theta(D {{\bar{A}}})$, and as $\theta(D) = \theta(K)$ this means $D$ is appropriate. \[almhorline\] Assume \[main\] for < Under strict assumptions if for a given strict lens set $D$ satisfying (\[eqthetacon\]) for every $\beta 0$ there exists a line $L_\beta$ with inclination $0$ and $\beta$ (i.e. horizontal) or between $\frac{\pi}{2} -\beta$ $\frac{\pi}{2}$ almost vertical) ${{\tilde{D}}}$ two ${{\tilde{D}}}_-$ and ${{\tilde{D}}}_+$ non-zero $\mi_2$-measure with $\theta(D_-) = \theta(D_+) = \theta(D)$, then $D$ is an appropriate set. Assume $\theta(D) > (otherwise the trivial). We a of lines $L_i$ with We choose a subsequence such that almost vertical or all are almost horizontal (we assume without of generality that all are almost From the compactness of the set of lines the closure of ${{\tilde{D}}}\cap {{\rm supp}}(\mi_2)$ we can choose a subsequence of lines converging to $L$, which, of course, be horizontal. If cuts a $\mi_2$ both above below it, then both the sets into which ${{\tilde{D}}}$ is divided the same $\theta = \theta(D)$ from the continuity of $\theta$ to set and the follows from Lemma
 is a non-degenerate $\Theta$ funcTion. From thE assuMptIon We Can aPply theorem \[main\], thuS $$\ThetA_{n-1}(y = a; D \cap A) \geq \theta_{n-1}(y = a; D) \gEq \theTa_{N-1}(Y=a;D \cAP {{\bAr{A}}}).$$ As $\Theta_{n-1}(y=A;d) = \tHETa(D)$, WhIcH doEs NOt DepenD on $A$, we can aPply Lemma \[dIviDeSets\] to get $\theTA(D\Cap A) \geq \theTa(D) \Geq \theta(D \cap {{\Bar{a}}})$, and as $\ThEta(d) = \Theta(k)$ thIs meaNs $D$ is aPPropriAte.

\[almhorLiNE\] AssumE theorem \[MAIn\] HoldS for $n' < n$. Under strict ASsUMptions if for a gIven stRiCT lENS seT $D$ sAtisfying (\[eQtHetacON\]) for eveRY $\bETA > 0$ TheRE exists a line $L_\Beta$ with incLInaTion beTwEen $0$ ANd $\beta$ (I.e. almOsT HorIzontal) or beTweeN $\frac{\pi}{2} -\beTa$ and $\fRAc{\pi}{2}$ (i.e. aLMost verTical) dIviDinG ${{\tilDE{D}}}$ InTo tWo SEts ${{\TIlDe{D}}}_-$ ANd ${{\tIlde{D}}}_+$ of nOn-ZeRo $\mi_2$-mEasuRE WITh $\thEta(d_-) = \theTa(D_+) = \thEta(D)$, then $D$ is an AppRoprIAte Set.

AsSume $\tHeta(d) > 0$ (oTherwIse the ThesiS iS trivial). We choosE a seQuence of sUch LiNes $l_i$ With $\bETa {{\righTarRow}}0$. we choosE a subseQUenCe SUCH tHat all lines are almoSt VERtIcal or alL are alMOsT hORizontal (We ShaLl asSUMe witHout LOsS of generAlity tHAt AlL are almOsT horizOnTal). froM the cOMpacTness oF the set oF lineS Intersecting thE Closure of ${{\tildE{d}}}\cAP {{\Rm SUpp}}(\mI_2)$ we Can choose a sUbseQUencE of lINeS coNVergiNg to sOmE LiNE $L$, which, of course, will Be HorizoNtal. IF $L$ cuts off a non-Zero $\mi_2$ measURE Both abovE and BElOW it, then both the Sets iNto which ${{\tiLDe{D}}}$ is divIded hAve the saMe $\theta = \thETA(D)$ from thE coNtiNuiTy oF $\THeTa$ with respect TO The sEt And the tHesIs folloWs fRom lemMa
 is a non-degenerate $\The ta$ functi on. F rom  th eassu mpti on we can appl y  The orem \[main\], thus $$ \thet a_ { n-1} ( y= a;D \capA )\ g eq\t he ta_ {n - 1} (y =a;D) \geq  \theta_{n -1} (y =a;D \cap {{ \ ba r{A}}}).$$  As  $\theta_{n- 1}( y=a;D)  =  \t h eta(D )$,  whic h does not de pend on $ a$ ,  we ca n  applyL e mm a \[ dividesets\] to g e t$ \theta(D\cap A ) \geq  \ t he t a (D)  \g eq \theta( D\cap{ {\bar{A } }} ) $ ,  an d  as $\theta(D ) = \theta( K )$this m ea ns$ D$ isappro pr i ate .

\[almhor line \] Assume  Theor e m \[mai n \] hold s for$n'  <n$.U nd er  st ri c t a s su mpt i ons  if foragi ven s tric t l e ns s et$D$satis fying (\[eqth eta con\ ] ) f or ev ery $ \bet a> 0$thereexist sa line $L_\beta $ wi th inclin ati on  be tw een $ 0 $ and$\b eta $ (i.e.  almost hor iz o n t al ) or between $\fra c{ \ p i} {2} -\be ta$ an d  $ \f r ac{\pi}{ 2} $ ( i.e. a lmost  ver t ic al) divi ding $ { {\ ti lde{D}} }$  intotw o s ets  ${{\ t ilde {D}}}_ -$ and $ {{\ti l de{D}}}_+$ ofn on-zero $\mi_ 2 $- m e as u re w ith  $\theta(D_ -) = \the ta(D _ +)  =\ theta (D)$,  t h en $D$ is an appropria te  set.
Assu me $\theta(D)  > 0$ (oth e r w ise thethes i si s trivial). We  choo se a seque n ce of su ch li nes $L_i $ with $\ b e ta {{\ri ght arr ow} }0$ . We  choose a sub s e quen ce  such t hat  all li nes  ar e a lmo st  vertical  or allar eal mo sthoriz o ntal (we  s hal lass ume w i thoutlossof g en er a lit y thata ll a re a lm os t ho riz on tal).  Fro m  th e compa ctness of  th e  set  o flines i ntersecting t he  closure o f${{ \tilde { D }}}\cap{{\rm supp}}(\mi_2)$ we can cho ose  a su bseq uence oflin es con ver g ing to  someline$L $,w h ich,o f  c our se , will beh o riz ontal .If $ L$ cuts  off a non-zero $\ m i_2 $ measure bot h a bove a nd  be l ow it,  t h enb o th the sets int o which ${ {\ t il de{D}}}$ i s  di vi ded hav e the s ame $ \ theta =  \theta(D )$ from t he  con t i nui ty of $\th eta$ wit h respect to th e  s et an d t he the si s f ollow s from Lem ma
 is_a non-degenerate_$\Theta$ function. From the_assumption we_can_apply Theorem_\[main\],_thus $$\theta_{n-1}(y =_a; D \cap_A) \geq \theta_{n-1}(y =_a; D) \geq_\theta_{n-1}(y=a;D_\cap {{\bar{A}}}).$$ As $\theta_{n-1}(y=a;D) = \theta(D)$, which does not depend on $a$, we can_apply_Lemma \[dividesets\]_to_get_$\theta(D\cap A) \geq \theta(D) \geq_\theta(D \cap {{\bar{A}}})$, and as_$\theta(D) =_\theta(K)$ this means $D$ is appropriate.

\[almhorline\] Assume Theorem_\[main\]_holds for $n'_< n$. Under strict assumptions if for a given_strict lens set $D$ satisfying (\[eqthetacon\])_for every $\beta_>_0$_there exists a line_$L_\beta$ with inclination between $0$ and_$\beta$ (i.e. almost horizontal) or between_$\frac{\pi}{2} -\beta$ and $\frac{\pi}{2}$ (i.e. almost vertical)_dividing ${{\tilde{D}}}$ into two sets ${{\tilde{D}}}_-$_and ${{\tilde{D}}}_+$ of non-zero $\mi_2$-measure_with $\theta(D_-)_= \theta(D_+) = \theta(D)$, then_$D$ is an_appropriate set.

Assume_$\theta(D) > 0$_(otherwise the thesis is trivial). We_choose a sequence_of such lines $L_i$ with $\beta_{{\rightarrow}}0$._We choose a_subsequence_such_that all_lines are almost_vertical_or all_are_almost horizontal (we shall assume without_loss_of generality that all are almost horizontal)._From the compactness of_the_set of lines intersecting_the closure of ${{\tilde{D}}}\cap {{\rm_supp}}(\mi_2)$ we can choose a subsequence_of lines_converging to_some line $L$, which, of course, will be horizontal. If $L$_cuts off a non-zero $\mi_2$ measure_both above and below_it, then_both_the sets into_which_${{\tilde{D}}}$ is_divided have the same $\theta = \theta(D)$_from the_continuity of $\theta$ with respect to_the set and the_thesis_follows from Lemma