_{m}$ be the set of $m$ intervals whose endpoints are nearby points in $P_{m}$. If the protocol returns at step $m$, the result must be a subset of $I_{m}$. Let $V_{m}=\{V_{1}(X)+V_{2}(X)|X\subseteq I_{m}\}$. I.e, $V_{m}$ is the set of all values of pieces that can be returned by the protocol at step $m$. Note that $V_{m}$ is finite and $|V_{m}|\leq2^{m}$. The protocol can return an average piece at step $m$, if and only if $1\in V_{m}$. We now prove that this cannot be guaranteed in a finite protocol.

The proof is by induction on $m$. For $m=1$, $V_{m}=\{0,2\}$ so $1\notin V_{m}$. $V_{1}$ is illustrated by the dots:

(210,20) (0,10)(200,10) (0,15) (0,5)[0]{} (100,5)[1]{} (200,15)(200,5)[2]{}

Suppose the claim is true for $m$. Then $V_{m}$ is a set of values that does not contain 1, e.g:

(210,20) (0,10)(200,10) (0,15) (0,5)[0]{} (30,15) (50,15) (110,15) (160,15) (190,15) (195,15) (100,5)[1]{} (200,15)(200,5)[2]{}

At step $m$, the protocol adds to $P_{m}$ a new point $q$, such that $P_{m+1}=P_{m}\cup\{q\}$. This replaces an interval in $I_{m}$ with two smaller intervals, e.g. if $q\in[p,r]$ and $[p,r]\in I_{m}$, then $I_{m+1}=I_{m}\setminus\{[p,r]\}\cup\{[p,q],[q,r]\}$. Let $v_{p}:=V_{1}([p,q])+V_{2}([p,q])$ and $v_{r}:=V_{1}([q,r])+
_ { m}$ be the set of $ m$ intervals whose endpoints are nearby points in $ P_{m}$. If the protocol revert at gradation $ m$, the result must be a subset of $ I_{m}$. Let $ V_{m}=\{V_{1}(X)+V_{2}(X)|X\subseteq I_{m}\}$. I.e, $ V_{m}$ is the set of all value of pieces that can be returned by the protocol at footfall $ m$. notice that $ V_{m}$ is finite and $ |V_{m}|\leq2^{m}$. The protocol can return an average piece at step $ m$, if and only if $ 1\in V_{m}$. We immediately prove that this cannot be guaranteed in a finite protocol. 

 The validation is by induction on $ m$. For $ m=1 $, $ V_{m}=\{0,2\}$ so $ 1\notin V_{m}$. $ V_{1}$ is illustrated by the dots: 

 (210,20) (0,10)(200,10) (0,15) (0,5)[0 ] { } (100,5)[1 ] { } (200,15)(200,5)[2 ] { } 

 Suppose the claim is true for $ m$. Then $ V_{m}$ is a stage set of values that does not contain 1, e.g: 

 (210,20) (0,10)(200,10) (0,15) (0,5)[0 ] { } (30,15) (50,15) (110,15) (160,15) (190,15) (195,15) (100,5)[1 ] { } (200,15)(200,5)[2 ] { } 

 At step $ m$, the protocol add to $ P_{m}$ a new point $ q$, such that $ P_{m+1}=P_{m}\cup\{q\}$. This replaces an interval in $ I_{m}$ with two small intervals, e.g. if $ q\in[p, r]$ and $ [ p, r]\in I_{m}$, then $ I_{m+1}=I_{m}\setminus\{[p, r]\}\cup\{[p, q],[q, r]\}$. Let $ v_{p}:=V_{1}([p, q])+V_{2}([p, q])$ and $ v_{r}:=V_{1}([q, r])+
_{m}$ bf the set of $m$ intervals whose endpoints are nxarby pkints in $P_{m}$. If the protocol returns et srep $m$, the result must be a rubset of $I_{m}$. Let $C_{m}=\{V_{1}(X)+T_{2}(X)|X\subseteq I_{m}\}$. I.x, $V_{m}$ is bke sef of clo values of pigces that cat be returned ty tke protocol at step $m$. Note that $V_{m}$ if finitr wnd $|V_{m}|\leq2^{m}$. The prouocjl czn return an average piece at step $m$, if aid only if $1\in V_{k}$. We now prove that this cwnnoh be guaranteed in a finite ptktosil.

The proof ks by indubcion on $m$. Fkr $m=1$, $V_{m}=\{0,2\}$ so $1\notin V_{m}$. $V_{1}$ is illustfated by the dojs:

(210,20) (0,10)(200,10) (0,15) (0,5)[0]{} (100,5)[1]{} (200,15)(200,5)[2]{}

Suppose tie clapm is true fov $m$. Thet $V_{m}$ is a set of valucs thet dies not contain 1, e.g:

(210,20) (0,10)(200,10) (0,15) (0,5)[0]{} (30,15) (50,15) (110,15) (160,15) (190,15) (195,15) (100,5)[1]{} (200,15)(200,5)[2]{}

At step $m$, the protmckl adds to $P_{m}$ a nww poinj $q$, sgch gyat $P_{m+1}=K_{m}\cnp\{q\}$. This gepmaces an ihterval in $U_{m}$ with two smaller ignrrvals, e.g. if $q\in[p,r]$ agd $[p,r]\in I_{m}$, then $I_{m+1}=I_{m}\setminus\{[p,r]\}\cup\{[p,q],[q,r]\}$. Ltt $v_{p}:=B_{1}([p,q])+V_{2}([p,q])$ and $v_{r}:=V_{1}([q,r])+
_{m}$ be the set of $m$ intervals are points in If the protocol result be a subset $I_{m}$. Let $V_{m}=\{V_{1}(X)+V_{2}(X)|X\subseteq I.e, $V_{m}$ is the set of values of pieces that can be returned by the protocol at step $m$. that $V_{m}$ is finite and $|V_{m}|\leq2^{m}$. The protocol can return an average piece step if only $1\in V_{m}$. We now prove that this cannot be guaranteed in a finite protocol. The proof by induction on $m$. For $m=1$, $V_{m}=\{0,2\}$ so V_{m}$. $V_{1}$ is illustrated the dots: (210,20) (0,10)(200,10) (0,15) (100,5)[1]{} Suppose the is for Then $V_{m}$ is set of values that does not contain 1, e.g: (210,20) (0,10)(200,10) (0,15) (0,5)[0]{} (30,15) (50,15) (110,15) (160,15) (195,15) (100,5)[1]{} step $m$, protocol to a new point that $P_{m+1}=P_{m}\cup\{q\}$. This replaces an interval two smaller intervals, e.g. if $q\in[p,r]$ and $[p,r]\in then $I_{m+1}=I_{m}\setminus\{[p,r]\}\cup\{[p,q],[q,r]\}$. $v_{p}:=V_{1}([p,q])+V_{2}([p,q])$ and $v_{r}:=V_{1}([q,r])+
_{m}$ be the set of $m$ intervals whosE endpoints Are neArbY poInTs in $p_{m}$. If The protocol retURns aT step $m$, the result must be a SubseT oF $i_{m}$. LeT $v_{m}=\{v_{1}(X)+V_{2}(X)|X\SubseteQ i_{m}\}$. i.E, $v_{m}$ iS tHe Set Of ALl ValueS of Pieces tHat can be reTurNeD by the protocOL aT step $m$. Note ThaT $V_{m}$ is finite aNd $|V_{M}|\leq2^{m}$. THe ProTOcol cAn rEturn An averAGe piecE at step $m$, iF aND only iF $1\In V_{m}$. We nOW PrOve tHat this cannot be guARaNTeed in a finite pRotocoL.

THE pROOf iS by Induction oN $m$. for $m=1$, $V_{M}=\{0,2\}$ So $1\notin v_{M}$. $V_{1}$ IS ILluSTrated by the doTs:

(210,20) (0,10)(200,10) (0,15) (0,5)[0]{} (100,5)[1]{} (200,15)(200,5)[2]{}

Suppose thE ClaIm is trUe For $M$. then $V_{m}$ Is a seT oF ValUes that does Not cOntain 1, e.g:

(210,20) (0,10)(200,10) (0,15) (0,5)[0]{} (30,15) (50,15) (110,15) (160,15) (190,15) (195,15) (100,5)[1]{} (200,15)(200,5)[2]{}

AT step $m$, THe protoCOl adds tO $P_{m}$ a neW poInt $Q$, sucH ThAt $p_{m+1}=P_{M}\cUP\{q\}$. THIs RepLAceS an interVaL iN $I_{m}$ wiTh twO SMALler IntErvaLs, e.g. iF $q\in[p,r]$ and $[p,r]\in i_{m}$, tHen $I_{M+1}=i_{m}\sEtminUs\{[p,r]\}\cUp\{[p,q],[Q,r]\}$. let $v_{p}:=v_{1}([p,q])+V_{2}([p,q])$ And $v_{r}:=v_{1}([q,R])+
_{m}$ be the set of $m$ in tervals wh ose e ndp oin ts  are  nea rby points in$ P_{m }$. If the protocol re turns  a t  ste p  $ m$, t he resu l tm u stbe  a  su bs e tof $I _{m }$. Let  $V_{m}=\{ V_{ 1} (X)+V_{2}(X) | X\ subseteq I _{m }\}$. I.e, $ V_{ m}$ is  t hes et of  al l val ues of pieces  that can  b e  retur n ed by t h e  p roto col at step $m$.N ot e  that $V_{m}$is fin it e  a n d  $| V_{ m}|\leq2^{ m} $. Th e  protoc o lc a n  re t urn an averag e piece ats tep  $m$,if  an d  onlyif $1 \i n  V_ {m}$. We no w pr ove thatthis c a nnot be guarant eed in  afin itep ro to col .The pr oof isby induc ti on  on $ m$.F o r $m=1 $,$V_{ m}=\{ 0,2\}$ so $1\ not in V _ {m} $. $V _{1}$  isil lustr ated b y the  d ots:

(210,20)(0,1 0)(200,10 ) ( 0, 15)  ( 0,5)[ 0 ]{} (1 00, 5)[ 1]{} (2 00,15)( 2 00, 5) [ 2 ] {} 

Suppose the clai mi s  t rue for$m$. T h en  $ V _{m}$ is  a  se t of v alues  tha t  d oes notcontai n  1 ,e.g:

( 21 0,20)(0 ,10 )(2 00,10 )  (0, 15) (0 ,5)[0]{}  (30, 1 5) (50,15) (11 0 ,15) (160,15) (1 9 0 ,1 5 ) (1 95, 15) (100,5) [1]{ }  (20 0,15 ) (2 00, 5 )[2]{ }

At  s t ep $m$, the protocol a dd s to $ P_{m} $ a new point  $q$, such t h at $P_{m +1}= P _{ m }\cup\{q\}$. T his r eplaces an interval  in $ I_{m}$ w ith two s m a ller int erv als , e .g. i f$q\in[p,r]$ a n d  $[p ,r ]\in I_ {m} $, then  $I _{m +1} =I_ {m }\setminu s\{[p,r] \} \c up \{ [p, q],[q , r]\}$. L et  $v _{ p}: =V_{1 } ([p,q] )+V_{ 2}([ p, q] ) $ a nd $v_{ r }: = V _{1} ([ q, r])+ 
_{m}$ be_the set_of $m$ intervals whose_endpoints are_nearby_points in_$P_{m}$._If the protocol_returns at step_$m$, the result must_be a subset_of_$I_{m}$. Let $V_{m}=\{V_{1}(X)+V_{2}(X)|X\subseteq I_{m}\}$. I.e, $V_{m}$ is the set of all values of pieces_that_can be_returned_by_the protocol at step $m$._Note that $V_{m}$ is finite_and $|V_{m}|\leq2^{m}$._The protocol can return an average piece at_step_$m$, if and_only if $1\in V_{m}$. We now prove that this_cannot be guaranteed in a finite_protocol.

The proof is_by_induction_on $m$. For $m=1$,_$V_{m}=\{0,2\}$ so $1\notin V_{m}$. $V_{1}$ is_illustrated by the dots:

(210,20) (0,10)(200,10) (0,15)_(0,5)[0]{} (100,5)[1]{} (200,15)(200,5)[2]{}

Suppose the claim is true_for $m$. Then $V_{m}$ is a_set of values that does_not contain_1, e.g:

(210,20) (0,10)(200,10) (0,15) (0,5)[0]{}_(30,15) (50,15) (110,15)_(160,15) (190,15)_(195,15) (100,5)[1]{} (200,15)(200,5)[2]{}

At_step $m$, the protocol adds to_$P_{m}$ a new_point $q$, such that $P_{m+1}=P_{m}\cup\{q\}$. This_replaces_an interval in_$I_{m}$_with_two smaller_intervals, e.g. if_$q\in[p,r]$_and $[p,r]\in_I_{m}$,_then $I_{m+1}=I_{m}\setminus\{[p,r]\}\cup\{[p,q],[q,r]\}$. Let $v_{p}:=V_{1}([p,q])+V_{2}([p,q])$ and $v_{r}:=V_{1}([q,r])+