t)$ is a $t$-homotetic cube in $Q$ with the same center of $Q$, that is, $Q_n(t)= x(Q)+ t(Q-x(Q))$, $0\leq t\leq 1$. Let $f_n$ be the function defined on $[0,1]$ by $f_n(t):=\mu( Q_n(t))$. The function $f_n$ is a non-decreasing function with $f(0)=0$ since $x(Q)$ is not a point mass and $f(1)=\mu(Q)$.

Let $t_n^0=\sup\{t\in[0,1]\,;\, \mu(Q_n(t))< m\}$. We first observe that the fact that the measure $\mu$ has no point masses, gives that $t_n^0>0$.

There are two possibilities:

1.  \[enum:possib1\] $f_n$ is continuous at $t_n^0$.

2.  \[enum:possib2\] $f_n$ has a jump discontinuity at $t_n^0$.

Assume that holds. If $t_n^0<1$, we have $$m\geq \lim_{t\rightarrow (t_n^0)^-} f_n(t)= \mu((Q_n(t_n^0))^\circ)= \lim_{t\rightarrow (t_n^0)^+} f_n(t)= \mu(\overline{Q_n(t_n^0)}) \geq m.$$ Then we choose the set $H_Q= (Q_n(t_n^0))^\circ$ and $\mu(H_Q)=m$.

If $t_n^0=1$, then $$\lim_{t\rightarrow 1^-} f_n(t)=\mu((Q)^\circ)=\mu(Q)=m$$ and we also take $H_Q=(Q)^\circ$.

Assume now that holds. If $t_n^0<1$ we have

$$\alpha:=\mu((Q_n(t_n^0))^\circ)=\lim_{t\rightarrow (t_n^0)^-} f_n(t) < \lim_{t\rightarrow (t_n
t)$ is a $ t$-homotetic cube in $ Q$ with the same center of $ Q$, that is, $ Q_n(t)= x(Q)+ t(Q - x(Q))$, $ 0\leq t\leq 1$. Let $ f_n$ be the affair define on $ [ 0,1]$ by $ f_n(t):=\mu (Q_n(t))$. The function $ f_n$ is a non - decreasing function with $ f(0)=0 $ since $ x(Q)$ is not a point multitude and $ f(1)=\mu(Q)$. 

 Let $ t_n^0=\sup\{t\in[0,1]\,;\, \mu(Q_n(t) ) < m\}$. We first respect that the fact that the meter $ \mu$ has no point mass, gives that $ t_n^0>0$. 

 There are two possibility: 

 1.   \[enum: possib1\ ] $ f_n$ is continuous at $ t_n^0$. 

 2.   \[enum: possib2\ ] $ f_n$ has a jump discontinuity at $ t_n^0$. 

 Assume that hold. If $ t_n^0<1 $, we have $ $ m\geq \lim_{t\rightarrow (t_n^0)^- } f_n(t)= \mu((Q_n(t_n^0))^\circ)= \lim_{t\rightarrow (t_n^0)^+ } f_n(t)= \mu(\overline{Q_n(t_n^0) }) \geq m.$$ Then we choose the set $ H_Q= (Q_n(t_n^0))^\circ$ and $ \mu(H_Q)=m$. 

 If $ t_n^0=1 $, then $ $ \lim_{t\rightarrow 1 ^ - } f_n(t)=\mu((Q)^\circ)=\mu(Q)=m$$ and we also learn $ H_Q=(Q)^\circ$. 

 Assume now that holds. If $ t_n^0<1 $ we consume 

 $ $ \alpha:=\mu((Q_n(t_n^0))^\circ)=\lim_{t\rightarrow (t_n^0)^- } f_n(t) < \lim_{t\rightarrow (t_n
t)$ id a $t$-homotetic cube in $Q$ with the same ewnter mf $Q$, tgat is, $Q_v(t)= x(Q)+ t(Q-x(Q))$, $0\leq t\leq 1$. Let $f_n$ ue tye fubction defined on $[0,1]$ by $w_n(t):=\mu( Q_n(t))$. The funxtioi $f_n$ is a non-deccsasing nbnctikk witk $h(0)=0$ since $x(Q)$ is npt a point mass and $f(1)=\mu(Q)$.

Neg $c_n^0=\sup\{t\in[0,1]\,;\, \mu(Q_n(t))< m\}$. We first observe thwt the gaft that the mewsurt $\mt$ haa no point masses, gives that $t_n^0>0$.

Thede are uwo possibilities:

1.  \[enum:possib1\] $f_n$ is continuoks ah $t_n^0$.

2.  \[enum:possib2\] $f_j$ has a jumk difxontinuity ag $t_n^0$.

Assume that holds. Jf $t_n^0<1$, we have $$m\geq \lim_{t\rightarruw (t_n^0)^-} f_n(t)= \mu((Q_n(t_b^0))^\curc)= \nim_{t\rightarcow (t_n^0)^+} f_n(t)= \mu(\overllme{Q_n(t_n^0)}) \geq m.$$ Yhen we choose thx ser $H_Q= (Q_n(t_n^0))^\circ$ and $\mu(H_X)=m$.

If $t_n^0=1$, then $$\lim_{t\ryghtarrow 1^-} y_n(t)=\mu((Q)^\circ)=\mu(Q)=m$$ and we aoso tdke $V_Q=(Q)^\ckec$.

Arsuje nkw thah hklds. If $t_n^0<1$ we have

$$\alpya:=\mu((Q_n(t_n^0))^\circ)=\lim_{t\rigntwgtow (t_n^0)^-} f_n(t) < \mim_{t\ridhearrow (t_n
t)$ is a $t$-homotetic cube in $Q$ same of $Q$, is, $Q_n(t)= x(Q)+ $f_n$ the function defined $[0,1]$ by $f_n(t):=\mu( The function $f_n$ is a non-decreasing with $f(0)=0$ since $x(Q)$ is not a point mass and $f(1)=\mu(Q)$. Let $t_n^0=\sup\{t\in[0,1]\,;\, m\}$. We first observe that the fact that the measure $\mu$ has no masses, that There two possibilities: 1. \[enum:possib1\] $f_n$ is continuous at $t_n^0$. 2. \[enum:possib2\] $f_n$ has a jump discontinuity $t_n^0$. Assume that holds. If $t_n^0<1$, we have \lim_{t\rightarrow (t_n^0)^-} f_n(t)= \mu((Q_n(t_n^0))^\circ)= (t_n^0)^+} f_n(t)= \mu(\overline{Q_n(t_n^0)}) \geq m.$$ we the set (Q_n(t_n^0))^\circ$ $\mu(H_Q)=m$. $t_n^0=1$, then $$\lim_{t\rightarrow f_n(t)=\mu((Q)^\circ)=\mu(Q)=m$$ and we also take $H_Q=(Q)^\circ$. Assume now that holds. If $t_n^0<1$ we have $$\alpha:=\mu((Q_n(t_n^0))^\circ)=\lim_{t\rightarrow (t_n^0)^-} f_n(t) \lim_{t\rightarrow (t_n
t)$ is a $t$-homotetic cube in $Q$ with The same cenTer of $q$, thAt iS, $Q_N(t)= x(Q)+ T(Q-x(Q))$, $0\Leq t\leq 1$. Let $f_n$ be THe fuNction defined on $[0,1]$ by $f_n(t):=\mu( q_n(t))$. ThE fUNctiON $f_N$ is a nOn-decreASiNG FunCtIoN wiTh $F(0)=0$ SiNce $x(Q)$ Is nOt a poinT mass and $f(1)=\mU(Q)$.

LEt $T_n^0=\sup\{t\in[0,1]\,;\, \mu(Q_n(T))< M\}$. WE first obseRve That the fact tHat The meaSuRe $\mU$ Has no PoiNt masSes, givES that $t_N^0>0$.

There are TwO PossibILities:

1.  \[eNUM:pOssiB1\] $f_n$ is continuous at $T_N^0$.

2.  \[eNUm:possib2\] $f_n$ has a Jump diScONtINUitY at $T_n^0$.

Assume thAt Holds. iF $t_n^0<1$, we haVE $$m\GEQ \Lim_{T\Rightarrow (t_n^0)^-} f_N(t)= \mu((Q_n(t_n^0))^\cirC)= \Lim_{T\rightArRow (T_N^0)^+} f_n(t)= \mu(\OverlInE{q_n(t_N^0)}) \geq m.$$ Then we ChooSe the set $H_q= (Q_n(t_n^0))^\cIRc$ and $\mu(h_q)=m$.

If $t_n^0=1$, tHen $$\lim_{T\riGhtArroW 1^-} F_n(T)=\mU((Q)^\cIrC)=\Mu(Q)=M$$ AnD we ALso Take $H_Q=(Q)^\cIrC$.

ASsume Now tHAT HOlds. if $t_N^0<1$ we hAve

$$\alPha:=\mu((Q_n(t_n^0))^\circ)=\Lim_{T\rigHTarRow (t_n^0)^-} F_n(t) < \liM_{t\riGhTarroW (t_n
t)$ is a $t$-homotetic cub e in $Q$ w ith t hesam ecent er o f $Q$, that is ,  $Q_ n(t)= x(Q)+ t(Q-x(Q))$ , $0\ le q  t\l e q1$. L et $f_n $  b e the  f un cti on de fined  on  $[0,1] $ by $f_n( t): =\ mu( Q_n(t))$ .  T he functio n $ f_n$ is a no n-d ecreas in g f u nctio n w ith $ f(0)=0 $  since  $x(Q)$ i sn ot a p o int mas s an d $f (1)=\mu(Q)$.

Let $t _ n^0=\sup\{t\in [0,1]\ ,; \ ,\ m u(Q _n( t))< m\}$.  W e fir s t obser v et h a t t h e fact that t he measure$ \mu $ hasno  po i nt mas ses,gi v esthat $t_n^0 >0$. 

There a re two possibi l ities:
1.  \ [en um: poss i b1 \]  $f _n $  is co nti n uou s at $t_ n^ 0$ .

2.   \[ e n u m :pos sib 2\]$f_n$  has a jump d isc onti n uit y at$t_n^ 0$.
A ssume  thatholds .If $t_n^0<1$, w e ha ve $$m\ge q \ li m_{ t\ right a rrow ( t_n ^0) ^-} f_n (t)= \m u ((Q _n ( t _ n^ 0))^\circ)= \lim_{ t\ r i gh tarrow ( t_n^0) ^ +}  f _ n(t)= \m u( \ov erli n e {Q_n( t_n^ 0 )} ) \geq m .$$ Th e nwe  choose  t he set  $ H_Q = ( Q_n(t _ n^0) )^\cir c$ and $ \mu(H _ Q)=m$.

If $t_ n ^0=1$, then $ $ \l i m _{ t \rig hta rrow 1^-} f _n(t ) =\mu ((Q) ^ \c irc ) =\mu( Q)=m$ $a nd we also take $H_Q=( Q) ^\circ $.

A ssume now tha t holds. I f $ t_n^0<1$  weh av e 

$$\alpha:=\m u((Q_ n(t_n^0))^ \ circ)=\l im_{t \rightar row (t_n^ 0 ) ^-} f_n( t)< \ lim _{t \ r ig htarrow (t_n
t)$ is_a $t$-homotetic_cube in $Q$ with_the same_center_of $Q$,_that_is, $Q_n(t)= x(Q)+_t(Q-x(Q))$, $0\leq t\leq_1$. Let $f_n$ be_the function defined_on_$[0,1]$ by $f_n(t):=\mu( Q_n(t))$. The function $f_n$ is a non-decreasing function with $f(0)=0$ since_$x(Q)$_is not_a_point_mass and $f(1)=\mu(Q)$.

Let $t_n^0=\sup\{t\in[0,1]\,;\, \mu(Q_n(t))<_m\}$. We first observe that_the fact_that the measure $\mu$ has no point masses,_gives_that $t_n^0>0$.

There are_two possibilities:

1.  \[enum:possib1\] $f_n$ is continuous at $t_n^0$.

2._ \[enum:possib2\] $f_n$ has a jump_discontinuity at $t_n^0$.

Assume_that_holds._If $t_n^0<1$, we have_$$m\geq \lim_{t\rightarrow (t_n^0)^-} f_n(t)= \mu((Q_n(t_n^0))^\circ)= \lim_{t\rightarrow_(t_n^0)^+} f_n(t)= \mu(\overline{Q_n(t_n^0)}) \geq m.$$ Then_we choose the set $H_Q= (Q_n(t_n^0))^\circ$ and_$\mu(H_Q)=m$.

If $t_n^0=1$, then $$\lim_{t\rightarrow 1^-} f_n(t)=\mu((Q)^\circ)=\mu(Q)=m$$_and we also take $H_Q=(Q)^\circ$.

Assume_now that_holds. If $t_n^0<1$ we have

$$\alpha:=\mu((Q_n(t_n^0))^\circ)=\lim_{t\rightarrow_(t_n^0)^-} f_n(t) <_\lim_{t\rightarrow (t_n