}_i$ (if they exist) is a caterpillar. A Steiner bead is a *maximal* junction if it is a junction but its parent is not a junction - see Figure \[figureJunc\].

![Maximal junction $\mathbf{s}$. \[figureJunc\]](Ras10.eps)

Let $N$ be a set of $n \geq 4$ embedded terminals admitting a bond-free full MSPT. Then it is possible to find an MSPT, say $T$, on $N$ such that at most one of its edges are of non-integer length. Furthermore, either all $T$’s edges will be of integer length, or we will be able to choose which internal edge of $T$ has non-integer length.

Root $T_{\mathrm{opt}}$ at two terminals connected to a cherry bead $\mathbf{r}$. Let $\mathbf{s}$ be a maximal junction of $T_{\mathrm{opt}}$ with children $\mathbf{v}_1,\mathbf{v}_2$ and for each $i \in \{1,2\}$ let $T_i$ be the subtree of $T_{\mathrm{opt}}$ induced by $\mathbf{s}$,$\mathbf{v}_1$,$\mathbf{v}_2$, the parent of $\mathbf{s}$ and the descendants of $\mathbf{v}_i$. Note that $T_i$ is a caterpillar. By fixing the positions of the parent of $\mathbf{s}$ and the child of $\mathbf{s}$ not equal to $\mathbf{v}_i$, and applying the previous lemma, we force all edges of $T_i$ (except possibly $\mathbf{sv}_i$) to be of integer length. We do this for all maximal junctions of $T_{\mathrm{opt}}$. For the resultant tree, say $T$, we now consider $\mathbf{v}_1$ and $\mathbf{v}_2$ as terminals and ignore the subtrees induced by the descendants of $\mathbf{v}_1$ and $\mathbf{v}_2$ (similarly for other junctions). We select the maximum junctions with respect to $T$ and continue the process. Once there are no junctions left (i.e., only a caterpillar remains) we force all edges, except possibly the edge between $\mathbf{r}$ and its child, to be of integer length. Repeated application of Lemma \[FourPRep\]
} _ i$ (if they exist) is a caterpillar. A Steiner bead is a * maximal * junction if it is a junction but its parent is not a junction - see Figure \[figureJunc\ ]. 

! [ Maximal articulation $ \mathbf{s}$. \[figureJunc\]](Ras10.eps) 

 lease $ N$ be a set of $ n \geq 4 $ implant terminal admitting a bond - barren broad MSPT. Then it is possible to find an MSPT, say $ T$, on $ N$ such that at most one of its edge are of non - integer length. Furthermore, either all $ T$ ’s edges will be of integer distance, or we will be able to choose which inner edge of $ T$ has non - integer length. 

 Root $ T_{\mathrm{opt}}$ at two terminals get in touch to a cherry bead $ \mathbf{r}$. Let $ \mathbf{s}$ be a maximal junction of $ T_{\mathrm{opt}}$ with child $ \mathbf{v}_1,\mathbf{v}_2 $ and for each $ i \in \{1,2\}$ let $ T_i$ be the subtree of $ T_{\mathrm{opt}}$ induced by $ \mathbf{s}$,$\mathbf{v}_1$,$\mathbf{v}_2 $, the parent of $ \mathbf{s}$ and the descendants of $ \mathbf{v}_i$. Note that $ T_i$ is a caterpillar. By repair the positions of the parent of $ \mathbf{s}$ and the child of $ \mathbf{s}$ not equal to $ \mathbf{v}_i$, and applying the previous lemma, we force all boundary of $ T_i$ (except possibly $ \mathbf{sv}_i$) to be of integer length. We do this for all maximal junctions of $ T_{\mathrm{opt}}$. For the resultant tree, say $ T$, we nowadays consider $ \mathbf{v}_1 $ and $ \mathbf{v}_2 $ as terminals and ignore the subtrees induced by the descendants of $ \mathbf{v}_1 $ and $ \mathbf{v}_2 $ (similarly for other junctions). We select the maximum junctions with esteem to $ T$ and continue the process. Once there be no articulation left (i.e., only a caterpillar remains) we impel all edge, except possibly the edge between $ \mathbf{r}$ and its child, to be of integer length. reprise application of Lemma \[FourPRep\ ]
}_i$ (iv they exist) is a caterplllar. A Steiner ywad is a *maxjmal* junztion if it is a junction buv itw partut is not a junction - see Figlre \[figurwJunr\].

![Maximal junctioi $\mathbf{s}$. \[figudcJunc\]](Xaw10.eps)

Let $N$ be a set of $n \ceq 4$ embedded defmnnals admitting a bond-free full MSPT. Then iy ls possible to finc an JSPT, say $T$, on $N$ such that at most kne of pts edges are of mon-integer length. Furthermlre, fither all $T$’s edged will be od inewger length, ur we will be able to dhoose which internal edge of $T$ has uon-integer oebgtj.

Toot $T_{\mathrm{ipt}}$ an two terminals connewted to a cherry bead $\mavhbf{e}$. Let $\mathbf{s}$ be a maeimal junction of $T_{\mwthrm{opt}}$ fich children $\mathbf{v}_1,\marhvf{v}_2$ atd fmr exxh $k \ih \{1,2\}$ lst $T_i$ he vhe subtree of $T_{\mathrm{ipt}}$ induced by $\mathnf{f}$,$\nathbf{v}_1$,$\mathbf{b}_2$, the [awent of $\mathbf{s}$ and the descendants of $\katgbf{v}_i$. Note that $T_i$ is a caterpillar. By fixinh the posytions of the parent of $\mathbf{s}$ and the child of $\kathbh{s}$ nou czjql to $\mathbf{v}_i$, and applying the previous lemma, rs gogce all edges of $B_i$ (except possibly $\mwtnff{sv}_i$) to be ow inteysr length. We do this for alj maxumal juncuions of $T_{\mathrm{opt}}$. For the resuotant tree, scy $R$, we now consider $\lathbf{v}_1$ and $\matnbf{v}_2$ ss terminals and ignore the subtrees ijduced by ghe descendants uf $\kadhbf{v}_1$ and $\mathbf{v}_2$ (similarlr for othxr juuctions). De sglect tre maximum juncbhons with respect ho $T$ cnd cmntinue thf process. Once there are no junrvions left (i.e., otly a cater'illar remains) we fjrce all edges, except posskbly the esge betxeen $\mathbf{r}$ and its chilg, to be of inveger lendth. Eepeqted apouication of Lekma \[FourPGek\]
}_i$ (if they exist) is a caterpillar. bead a *maximal* if it is is a junction - Figure \[figureJunc\]. ![Maximal $\mathbf{s}$. \[figureJunc\]](Ras10.eps) Let $N$ be a of $n \geq 4$ embedded terminals admitting a bond-free full MSPT. Then it possible to find an MSPT, say $T$, on $N$ such that at most of edges of length. Furthermore, either all $T$’s edges will be of integer length, or we will be able choose which internal edge of $T$ has non-integer Root $T_{\mathrm{opt}}$ at two connected to a cherry bead Let be a junction $T_{\mathrm{opt}}$ children $\mathbf{v}_1,\mathbf{v}_2$ and each $i \in \{1,2\}$ let $T_i$ be the subtree of $T_{\mathrm{opt}}$ induced by $\mathbf{s}$,$\mathbf{v}_1$,$\mathbf{v}_2$, the parent of and the $\mathbf{v}_i$. Note $T_i$ a By fixing the the parent of $\mathbf{s}$ and the not equal to $\mathbf{v}_i$, and applying the previous we force edges of $T_i$ (except possibly $\mathbf{sv}_i$) be of integer length. We do this for maximal junctions of $T_{\mathrm{opt}}$. For the resultant tree, say $T$, we now consider $\mathbf{v}_1$ and terminals and ignore the induced by the of and (similarly other junctions). select the maximum junctions with respect to $T$ and continue the Once there are no junctions left (i.e., only a caterpillar force edges, except possibly edge between $\mathbf{r}$ and child, be of integer length. of \[FourPRep\]
}_i$ (if they exist) is a caterpillaR. A Steiner bEad is A *maXimAl* JuncTion If it is a junctioN But iTs parent is not a junction - See FiGuRE \[figURejunc\].

![MAximal jUNcTIOn $\mAtHbF{s}$. \[fIgURejunc\]](RAs10.ePs)

Let $N$ bE a set of $n \geQ 4$ emBeDded terminalS AdMitting a boNd-fRee full MSPT. THen It is poSsIblE To finD an mSPT, sAy $T$, on $N$ SUch thaT at most onE oF Its edgES are of nON-InTegeR length. FurthermorE, EiTHer all $T$’s edges wIll be oF iNTeGER leNgtH, or we will bE aBle to CHoose whICh INTErnAL edge of $T$ has noN-integer lenGTh.

ROot $T_{\maThRm{oPT}}$ at two TermiNaLS coNnected to a cHerrY bead $\mathBf{r}$. Let $\MAthbf{s}$ bE A maximaL junctIon Of $T_{\MathRM{oPt}}$ WitH cHIldREn $\MatHBf{v}_1,\Mathbf{v}_2$ aNd FoR each $I \in \{1,2\}$ lET $t_I$ Be thE suBtreE of $T_{\mAthrm{opt}}$ inducEd bY $\matHBf{s}$,$\MathbF{v}_1$,$\matHbf{v}_2$, ThE pareNt of $\maThbf{s}$ AnD the descendants Of $\maThbf{v}_i$. NotE thAt $t_i$ iS a CaterPIllar. BY fiXinG the posItions oF The PaRENT oF $\mathbf{s}$ and the chilD oF $\MAtHbf{s}$ not eQual to $\MAtHbF{V}_i$, and appLyIng The pREVious LemmA, We Force all Edges oF $t_i$ (ExCept posSiBly $\matHbF{sv}_I$) to Be of iNTegeR lengtH. We do thiS for aLL maximal junctiONs of $T_{\mathrm{opT}}$. foR THe REsulTanT tree, say $T$, we Now cONsidEr $\maTHbF{v}_1$ aND $\mathBf{v}_2$ as TeRMiNAls and ignore the subtReEs induCed by The descendantS of $\mathbf{v}_1$ AND $\Mathbf{v}_2$ (sImilARlY For other junctiOns). We Select the mAXimum junCtionS with resPect to $T$ anD COntinue tHe pRocEss. oncE THeRe are no junctiONS lefT (i.E., only a cAteRpillar RemAinS) we ForCe All edges, eXcept posSiBlY tHe EdgE betwEEn $\mathbf{R}$ aNd iTs ChiLd, to bE Of inteGer leNgth. rePeATed ApplicaTIoN OF LemMa \[foUrPREp\]
}_i$ (if they exist) is acaterpilla r. ASte ine rbead  isa *maximal* ju n ctio n if it is a junctionbut i ts pare n tis no t a jun c ti o n  -se eFig ur e  \ [figu reJ unc\].
![Maximal  ju nc tion $\mathb f {s }$. \[figu reJ unc\]](Ras10 .ep s)

Le t$N$ be aset  of $ n \geq 4$ emb edded ter mi n als ad m ittinga bo nd-f ree full MSPT. Th e ni t is possibleto fin da nM S PT,  sa y $T$, on$N $ suc h  that a t  m o s t  on e  of its edges  are of non - int eger l en gth .  Furth ermor e, eit her all $T$ ’s e dges will  be of integer length,  or we  wi llbe a b le  t o c ho o sew hi chi nte rnal edg eof  $T$hasn o n - inte ger  len gth.
Root $T_{\ma thr m{op t }}$  at t wo te rmin al s con nected  to a  c herry bead $\ma thbf {r}$. Let  $\ ma thb f{ s}$ b e  a max ima l j unction  of $T_ { \ma th r m { op t}}$ with children  $ \ m at hbf{v}_1 ,\math b f{ v} _ 2$ and f or  ea ch $ i \in \ {1,2 \ }$  let $T_ i$ bet he  s ubtreeof  $T_{\ ma thr m{o pt}}$ indu ced by  $\mathb f{s}$ , $\mathbf{v}_1$ , $\mathbf{v}_2 $ ,t h ep aren t o f $\mathbf{ s}$a nd t he d e sc end a nts o f $\m at h bf { v}_i$. Note that $T _i $ is a  cate rpillar. By f ixing thep o s itions o f th e  p a rent of $\math bf{s} $ and thec hild of$\mat hbf{s}$not equal t o $\math bf{ v}_ i$,  an d ap plying the pr e v ious  l emma, w e f orce al l e dge s o f $ T_ i$ (excep t possib ly  $ \m at hbf {sv}_ i $) to be  o f i nt ege r len g th. We  do t hisfo ra llmaximal ju n c tion sof  $T_ {\m at hrm{o pt}} $ . F or theresultant  tr e e, s ay  $ T$, wenow consider$\ mathbf{v}_ 1$  an d $\ma t h bf{v}_2$  as terminals and ignor e  the su btr ees i nduc ed by the  de scenda nts of $\m athbf{ v}_1$  a nd$ \ mathb f { v} _2$  ( similarlyf o r o therju ncti ons). W e select the maxim u m j unctions with  re spec t to  $T $  a n d c on t inu e the process. On ce there a re no  junctions lef t(i.e.,only acater p illar r emains) w e force a ll  edg e s , e xcept poss ibly the  edge bet w een $ \ ma thbf{ r}$  and i ts  ch ild,to beo f i ntege r leng th . Repe atedap plicatio n of Lemma \[FourPRep\] 
}_i$ (if_they exist)_is a caterpillar. A_Steiner bead_is_a *maximal*_junction_if it is_a junction but_its parent is not_a junction -_see_Figure \[figureJunc\].

![Maximal junction $\mathbf{s}$. \[figureJunc\]](Ras10.eps)

Let $N$ be a set of $n \geq 4$ embedded_terminals_admitting a_bond-free_full_MSPT. Then it is possible_to find an MSPT, say_$T$, on_$N$ such that at most one of its_edges_are of non-integer_length. Furthermore, either all $T$’s edges will be of_integer length, or we will be_able to choose_which_internal_edge of $T$ has_non-integer length.

Root $T_{\mathrm{opt}}$ at two terminals_connected to a cherry bead $\mathbf{r}$._Let $\mathbf{s}$ be a maximal junction of_$T_{\mathrm{opt}}$ with children $\mathbf{v}_1,\mathbf{v}_2$ and for_each $i \in \{1,2\}$ let_$T_i$ be_the subtree of $T_{\mathrm{opt}}$ induced_by $\mathbf{s}$,$\mathbf{v}_1$,$\mathbf{v}_2$, the_parent of_$\mathbf{s}$ and the_descendants of $\mathbf{v}_i$. Note that $T_i$_is a caterpillar._By fixing the positions of the_parent_of $\mathbf{s}$ and_the_child_of $\mathbf{s}$_not equal to_$\mathbf{v}_i$,_and applying_the_previous lemma, we force all edges_of_$T_i$ (except possibly $\mathbf{sv}_i$) to be of_integer length. We do_this_for all maximal junctions_of $T_{\mathrm{opt}}$. For the resultant_tree, say $T$, we now consider_$\mathbf{v}_1$ and_$\mathbf{v}_2$ as_terminals and ignore the subtrees induced by the descendants of $\mathbf{v}_1$_and $\mathbf{v}_2$ (similarly for other junctions)._We select the maximum_junctions with_respect_to $T$ and_continue_the process._Once there are no junctions left (i.e.,_only a_caterpillar remains) we force all edges,_except possibly the edge_between_$\mathbf{r}$ and its child, to be_of integer length. Repeated application of_Lemma \[FourPRep\]