 $f_{n-1}^i(t):=\mu( Q_{n-1}^i(t))$, where $Q_{n-1}^i(t)$ denotes the $t$-homotetic cube of $Q_{n-1}^{i}$ with respect to the center $x(Q_{n-1}^{i})$. Let $t_{n-1}^{i}= \sup\{t\in[0,1]\,;\, \mu( Q_{n-1}^i(t))< m-\alpha-(\mu(Q_{n-1}^1)+\cdots+\mu(Q_{n-1}^{i-1}))\}$. If the function $f_{n-1}^i$ is continuous at $t_{n-1}^{i}$, then we consider as “canonical” set $H_Q=(Q_n(t_n^0))^\circ\cup \left(\cup_{j=1}^{i-1} Q_{n-1}^j\right)\cup (Q_{n-1}^i(t_{n-1}^{i}))^\circ$ and we are done. If not, we can continue iterating. If this iteration stops at some stage, then we are done.

We next show that the iteration has to stop at some stage. Assume that this is not the case. Then, finally, we can find a line segment $Q_1$ and a function $f_1(t):=\mu(Q_1(t))$ such that the function $f_1$ is discontinuous at some $t$, which is equivalent to saying that there is a point $x\in Q_1$ such that $\mu(\{x\})>0$. And this contradicts the assumption that $\mu$ has no point masses. Therefore, the iteration has to stop. Observe that $H_Q$ is always a subset of $Q$, and it is a cube with part of its boundary. We will call such set a “canonical” extended cube.

Finally, observe that the “canonical” method chosen to construct the sets $H_Q$ give that if $0<m_1<m_2<\mu(Q)$, then the corresponding “canonical” extended cubes $H_Q(m_1)$ and $H_Q(m_2)$ satisfy $H_Q(m_1)\subset H_Q(m_2)$.

\[
$ f_{n-1}^i(t):=\mu (Q_{n-1}^i(t))$, where $ Q_{n-1}^i(t)$ denotes the $ t$-homotetic cube of $ Q_{n-1}^{i}$ with respect to the center $ x(Q_{n-1}^{i})$. lease $ t_{n-1}^{i}= \sup\{t\in[0,1]\,;\, \mu (Q_{n-1}^i(t) ) < m-\alpha-(\mu(Q_{n-1}^1)+\cdots+\mu(Q_{n-1}^{i-1}))\}$. If the affair $ f_{n-1}^i$ is continuous at $ t_{n-1}^{i}$, then we consider as “ canonical ” set $ H_Q=(Q_n(t_n^0))^\circ\cup \left(\cup_{j=1}^{i-1 } Q_{n-1}^j\right)\cup (Q_{n-1}^i(t_{n-1}^{i}))^\circ$ and we are perform. If not, we can continue iterating. If this iteration stop at some stage, then we are done. 

 We next prove that the iteration has to stop at some stagecoach. Assume that this is not the case. Then, ultimately, we can find a line segment $ Q_1 $ and a function $ f_1(t):=\mu(Q_1(t))$ such that the function $ f_1 $ is discontinuous at some $ t$, which is equivalent to say that there is a point $ x\in Q_1 $ such that $ \mu(\{x\})>0$. And this contradicts the presumption that $ \mu$ has no point masses. Therefore, the iteration has to discontinue. Observe that $ H_Q$ is always a subset of $ Q$, and it is a cube with part of its boundary. We will shout such set a “ canonical ” extended cube. 

 Finally, respect that the “ canonic ” method chosen to construct the sets $ H_Q$ give that if $ 0 < m_1 < m_2<\mu(Q)$, then the corresponding “ canonical ” extended cube $ H_Q(m_1)$ and $ H_Q(m_2)$ satisfy $ H_Q(m_1)\subset H_Q(m_2)$. 

 \ [
 $f_{n-1}^l(t):=\mu( Q_{n-1}^i(t))$, where $Q_{n-1}^i(t)$ denutes the $t$-homotgtuc cubx of $Q_{n-1}^{j}$ with rdspect to the center $x(Q_{n-1}^{i})$. Lev $t_{n-1}^{u}= \sup\{u\pn[0,1]\,;\, \mu( Q_{n-1}^i(t))< m-\alpha-(\mu(Q_{n-1}^1)+\zdots+\mu(Q_{n-1}^{p-1}))\}$. If the duncuion $f_{n-1}^i$ is contiihous at $t_{n-1}^{i}$, tgcn we ronsider as “canpnical” set $H_Q=(Q_n(t_n^0))^\circ\cup \ldfc(\cup_{j=1}^{i-1} Q_{n-1}^j\right)\cup (Q_{n-1}^i(t_{n-1}^{i}))^\circ$ and we are dome. If not, we can conuinte ifvrcting. If this iteration stops af some vtage, then we are done.

We next show that the iteration has to dtop at somg stwte. Assume thxt this is not the casg. Then, finally, we can find a lind segkent $Q_1$ and a fujwtion $f_1(t):=\mu(Q_1(v))$ such that the fukbtion $f_1$ is disvontinuous at xomx $t$, qhich is equivalent tm saying that therg is a poitt $x\in Q_1$ such that $\nu(\{z\})>0$. And thiv covrraaicus vhe assumotikn that $\mu$ has no poibt masses. Therefore, trv iteration hzs to ftjp. Observe that $H_Q$ is always a subset ox $Q$, and it is a cube with part of its boundary. Ae will cwll such set a “canonical” extended cube.

Finally, obsarve vhxt uhc “zqnlnical” method chosen to construct the sets $H_Q$ fife that if $0<m_1<m_2<\mu(Q)$, then the cprgexkonding “canonizal” excsnsed cubes $H_Q(m_1)$ and $J_Q(m_2)$ satysfy $Y_Q(m_1)\subset H_Q(m_2)$.

\[
$f_{n-1}^i(t):=\mu( Q_{n-1}^i(t))$, where $Q_{n-1}^i(t)$ denotes the $t$-homotetic $Q_{n-1}^{i}$ respect to center $x(Q_{n-1}^{i})$. Let If function $f_{n-1}^i$ is at $t_{n-1}^{i}$, then consider as “canonical” set $H_Q=(Q_n(t_n^0))^\circ\cup \left(\cup_{j=1}^{i-1} (Q_{n-1}^i(t_{n-1}^{i}))^\circ$ and we are done. If not, we can continue iterating. If this stops at some stage, then we are done. We next show that the has stop some Assume that this is not the case. Then, finally, we can find a line segment $Q_1$ a function $f_1(t):=\mu(Q_1(t))$ such that the function $f_1$ discontinuous at some $t$, is equivalent to saying that is point $x\in such $\mu(\{x\})>0$. this contradicts the that $\mu$ has no point masses. Therefore, the iteration has to stop. Observe that $H_Q$ is always subset of it is cube part its boundary. We such set a “canonical” extended cube. the “canonical” method chosen to construct the sets give that $0<m_1<m_2<\mu(Q)$, then the corresponding “canonical” extended $H_Q(m_1)$ and $H_Q(m_2)$ satisfy $H_Q(m_1)\subset H_Q(m_2)$. \[
 $f_{n-1}^i(t):=\mu( Q_{n-1}^i(t))$, where $Q_{n-1}^i(t)$ denoteS the $t$-homotEtic cUbe Of $Q_{N-1}^{i}$ With RespEct to the center $X(q_{n-1}^{i})$. LEt $t_{n-1}^{i}= \sup\{t\in[0,1]\,;\, \mu( Q_{n-1}^i(t))< m-\alphA-(\mu(Q_{n-1}^1)+\CdOTs+\mu(q_{N-1}^{i-1}))\}$. if the FunctioN $F_{n-1}^I$ IS coNtInUouS aT $T_{n-1}^{I}$, then We cOnsider As “canonicaL” seT $H_q=(Q_n(t_n^0))^\circ\cup \LEfT(\cup_{j=1}^{i-1} Q_{n-1}^j\rIghT)\cup (Q_{n-1}^i(t_{n-1}^{i}))^\ciRc$ aNd we arE dOne. iF not, wE caN contInue itERating. if this iteRaTIon stoPS at some STAgE, theN we are done.

We next sHOw THat the iteratioN has to StOP aT SOme StaGe. Assume thAt This iS Not the cASe. tHEN, fiNAlly, we can find A line segmenT $q_1$ anD a funcTiOn $f_1(T):=\Mu(Q_1(t))$ suCh thaT tHE fuNction $f_1$ is diSconTinuous at Some $t$, wHIch is eqUIvalent To sayiNg tHat TherE Is A pOinT $x\IN Q_1$ sUCh ThaT $\Mu(\{x\})>0$. and this cOnTrAdictS the ASSUMptiOn tHat $\mU$ has nO point masses. THerEforE, The IteraTion hAs to StOp. ObsErve thAt $H_Q$ iS aLways a subset of $Q$, And iT is a cube wIth PaRt oF iTs bouNDary. We WilL caLl such sEt a “canoNIcaL” eXTENdEd cube.

Finally, obserVe THAt The “canonIcal” meTHoD cHOsen to coNsTruCt thE SEts $H_Q$ Give THaT if $0<m_1<m_2<\mu(Q)$, Then thE CoRrEspondiNg “CanoniCaL” exTenDed cuBEs $H_Q(M_1)$ and $H_Q(M_2)$ satisfy $h_Q(m_1)\suBSet H_Q(m_2)$.

\[
 $f_{n-1}^i(t):=\mu( Q_{n- 1}^i(t))$,  wher e $ Q_{ n- 1}^i (t)$  denotes the $ t $-ho motetic cube of $Q_{n- 1}^{i }$ with re spect  to the ce n t er$x (Q _{n -1 } ^{ i})$.  Le t $t_{n -1}^{i}= \ sup \{ t\in[0,1]\,; \ ,\mu( Q_{n- 1}^ i(t))< m-\al pha -(\mu( Q_ {n- 1 }^1)+ \cd ots+\ mu(Q_{ n -1}^{i -1}))\}$.  I f  the f u nction$ f _{ n-1} ^i$ is continuous at $t_{n-1}^{i}$,  thenwe co n s ide r a s “canonic al ” set $H_Q=(Q _ n( t _ n ^0) ) ^\circ\cup \l eft(\cup_{j = 1}^ {i-1}Q_ {n- 1 }^j\ri ght)\ cu p  (Q _{n-1}^i(t_ {n-1 }^{i}))^\ circ$a nd we a r e done.  If no t,wecanc on ti nue  i t era t in g.I f t his iter at io n sto ps a t s o me s tag e, t hen w e are done.
Wenext sho w tha t the  ite ra tionhas to  stop  a t some stage. A ssum e that th isis  no tthe c a se. Th en,  fi nally,we canf ind  a l i ne  segment $Q_1$ and  a f un ction $f _1(t): = \m u( Q _1(t))$su chthat t he fu ncti o n$f_1$ is  disco n ti nu ous atso me $t$ ,whi chis eq u ival ent to  sayingthatt here is a poin t  $x\in Q_1$ s u ch t ha t  $\m u(\ {x\})>0$. A nd t h is c ontr a di cts the a ssump ti o nt hat $\mu$ has no po in t mass es. T herefore, the  iteration h a s to sto p. O b se r ve that $H_Q$is al ways a sub s et of $Q $, an d it isa cube wi t h  part of  it s b oun dar y .  W e will call s u c h se ta “cano nic al” ext end edcub e.
F inally, o bserve t ha tth e“ca nonic a l” metho dcho se n t o con s tructthe s ets$H _Q $  gi ve that if $ 0<m_ 1< m_ 2<\m u(Q )$ , the n th e  co rrespon ding “can oni c al”ex te nded cu bes $H_Q(m_1) $and $H_Q(m _2 )$satisf y $H_Q(m_1 )\subset H_Q(m_2)$.

\[ 
 $f_{n-1}^i(t):=\mu(_Q_{n-1}^i(t))$, where_$Q_{n-1}^i(t)$ denotes the $t$-homotetic_cube of_$Q_{n-1}^{i}$_with respect_to_the center $x(Q_{n-1}^{i})$._Let $t_{n-1}^{i}= \sup\{t\in[0,1]\,;\,_\mu( Q_{n-1}^i(t))< m-\alpha-(\mu(Q_{n-1}^1)+\cdots+\mu(Q_{n-1}^{i-1}))\}$. If_the function $f_{n-1}^i$_is_continuous at $t_{n-1}^{i}$, then we consider as “canonical” set $H_Q=(Q_n(t_n^0))^\circ\cup \left(\cup_{j=1}^{i-1} Q_{n-1}^j\right)\cup (Q_{n-1}^i(t_{n-1}^{i}))^\circ$ and_we_are done._If_not,_we can continue iterating. If_this iteration stops at some_stage, then_we are done.

We next show that the iteration_has_to stop at_some stage. Assume that this is not the case._Then, finally, we can find a_line segment $Q_1$_and_a_function $f_1(t):=\mu(Q_1(t))$ such that_the function $f_1$ is discontinuous at_some $t$, which is equivalent to_saying that there is a point $x\in_Q_1$ such that $\mu(\{x\})>0$. And this_contradicts the assumption that $\mu$_has no_point masses. Therefore, the iteration_has to stop._Observe that_$H_Q$ is always_a subset of $Q$, and it_is a cube_with part of its boundary. We_will_call such set_a_“canonical”_extended cube.

Finally,_observe that the_“canonical”_method chosen_to_construct the sets $H_Q$ give that_if_$0<m_1<m_2<\mu(Q)$, then the corresponding “canonical” extended cubes_$H_Q(m_1)$ and $H_Q(m_2)$ satisfy_$H_Q(m_1)\subset_H_Q(m_2)$.

\[