 part of the proof of Theorem \[NonObtuse\] is dealing with the $\sqrt{k}$ internal corners that propagate through the spiral; since we have no bound for the number $N$ of windings of the spiral in terms of $n$, this could produce arbitrarily many new vertices. Thus propagation paths of the internal corners must be bent to terminate earlier. Consider the case of paths that start near the inner end of the spiral (the outer part is handled in the same way, but is easier, since the windings of the spiral are longer). We consider what happens for very large spirals (where the number of windings $N$ is bigger than the number $k$ of isosceles pieces in the spiral; for smaller values of $N$ we truncate the construction at the appropriate stage.)

We first bend the propagation paths so that adjacent paths merge, and then merge adjacent merged paths, and continue until all the propagation paths generated by the $O(\sqrt{k})$ internal corners have merged into a single path. This occurs around winding $k^{1/3}$. This path is then propagated as a $P$-path out to winding $k^{1/2}$. See Figure \[BigPicture\].

![\[BigPicture\] This illustrates the stages in the spiral construction. First (light gray), we divide the tube into thinner tubes and entering paths are bent to hit the sides of these. Next (white), the thin tubes are bent and collapsed in pairs; in this figure four tubes are merged into one after two windings. In the third stage (gray), the single tube is propagated until we can bend it to intersect itself. Next (white) comes a sequence of closed loops that gradually grow further apart. Finally we reach the empty region (gray), where no paths propagate. This figure gives a rough idea of the construction, but scales have been drastically compressed to make all the stages visible in the same picture. ](BigPicture.eps){height="4in"}

At this stage we have enough freedom to bend the curve to hit itself, forming a closed loop that wraps once around the spiral. This is similar to what we did in the proof of Theorem \[Triangles\], but in this case, in order for this closed loop to be Gabriel, there must be another (larger) closed loop parallel to it. This did not occur in Theorem \[Triangles\]. This constraint requires us to construct a sequence of parallel closed loops in the spiral between windings $k^{1
part of the proof of Theorem \[NonObtuse\ ] is dealing with the $ \sqrt{k}$ internal corner that spread through the spiral; since we have no bound for the phone number $ N$ of windings of the spiral in condition of $ n$, this could produce arbitrarily many fresh vertices. Thus generation paths of the internal corners must be bent to end earlier. Consider the case of paths that start near the inside end of the spiral (the outer function is handled in the same manner, but is easier, since the wind of the spiral are retentive). We consider what happens for very large helix (where the number of windings $ N$ is bigger than the number $ k$ of isosceles pieces in the coiling; for modest values of $ N$ we truncate the construction at the appropriate stage .) 

 We first bend the propagation paths so that adjacent paths merge, and then unify adjacent merged paths, and cover until all the generation path generated by the $ O(\sqrt{k})$ internal corner have merged into a single path. This occurs round winding $ k^{1/3}$. This path is then propagated as a $ P$-path out to winding $ k^{1/2}$. See Figure \[BigPicture\ ]. 

! [ \[BigPicture\ ] This illustrates the stage in the spiral construction. First (light grey), we divide the pipe into thinner tubes and entering paths are bent to reach the sides of these. Next (white), the flimsy tubes are bent and collapsed in pairs; in this number four tubes are blend into one after two windings. In the third stage (grey), the single pipe is propagated until we can flex it to intersect itself. Next (ashen) comes a sequence of closed loops that gradually grow farther apart. last we reach the empty region (gray), where no paths propagate. This human body gives a rough mind of the construction, but scales have been drastically compressed to make all the stages visible in the same movie. ] (BigPicture.eps){height="4 in " } 

 At this stage we have enough freedom to bend the curve to hit itself, form a shut closed circuit that wraps once around the spiral. This is similar to what we did in the proof of Theorem \[Triangles\ ], but in this case, in ordering for this closed loop to be Gabriel, there must be another (larger) close loop parallel to it. This did not occur in Theorem \[Triangles\ ]. This constraint requires us to construct a sequence of parallel shut loops in the spiral between windings $ k^{1
 pagt of the proof of Theortm \[NonObtuse\] is dgaoing wmth the $\sqrt{k}$ ivternal corners that propagave tyrougy the spiral; since we fave no blund for the bumber $N$ oh windinnf of bhe s'ical in terms of $n$, this cogld produce artigrcrily many new vertices. Thus propagaeion payhd of the intergal bownera must be bent to terminate earlied. Consiver the case of paths that start near the innfr end of the spirwl (the outet pawr is handled in the same way, but ia easier, since the windings of ghe s'iral are linter). Fe consider what happens for very lasge spitals (where the nukbee of windings $N$ is bijger than the number $k$ of isovczles pieces in the spurql; fot smanler caljes oh $N$ we trkncete the conatruction ar the appropriate suagq.)

Qe first bend the pwo[agation paths so that adjacent paths mtrge, znd then merge adjacent merged paths, and conjinue untij all the propagation paths generated by the $O(\sqrd{k})$ invefnao gorndes have merged into a single path. This occurs awkumd winding $k^{1/3}$. Thif path is tnej ltopagated as a $P$-path ouf to winding $k^{1/2}$. See Figure \[BigPucture\].

![\[BigKictute\] This illustrates the states in the siirao construction. Firdt (light grcy), we cividr the tube into thinner tubss and enteging patha are bent to hit thv siges of these. Next (white), thq thin tuues axe bent xnd vollapfed in paigs; in this figure four tkbes cre marged into one after two windings. In the viird stage (grsy), thv single cube ix propagated tntil we can bgnd it to intefsect itsemf. Next (white) comef a sequence mv closed loo's that gwaduqlly grow fjfther apart. Fimally we gecch the enpty region (gray), wmere vk paths propagact. Tyis figure givex a rotgj mdea jx the constrgctiun, cit scxles have bcen draxtically compressed do mzke all the stages vlsible in the samq picture. ](BigLicture.eps){height="4in"}

Wt thms staje we navg enough freedom to bend the cudve to hih ibself, forming a coosed loop tkat wraps once around the spiral. This is similar to what ww did in the proof pn Theorem \[Trmanglef\], but in dhis case, in order fir this closed lopp to be Gabriel, thers must be ajother (larger) closed loop parallel to it. This did not occur in Theorem \[Truangles\]. This constdainy reqlirzs bs to cjnstcurt a sequence of iarallel closed loops in the spical betweet cindings $k^{1
part of the proof of Theorem \[NonObtuse\] with $\sqrt{k}$ internal that propagate through no for the number of windings of spiral in terms of $n$, this produce arbitrarily many new vertices. Thus propagation paths of the internal corners must bent to terminate earlier. Consider the case of paths that start near the end the (the part is handled in the same way, but is easier, since the windings of the spiral longer). We consider what happens for very large (where the number of $N$ is bigger than the $k$ isosceles pieces the for values of $N$ truncate the construction at the appropriate stage.) We first bend the propagation paths so that adjacent paths and then merged paths, continue all propagation paths generated $O(\sqrt{k})$ internal corners have merged into This occurs around winding $k^{1/3}$. This path is propagated as $P$-path out to winding $k^{1/2}$. See \[BigPicture\]. ![\[BigPicture\] This illustrates the stages in the construction. First (light gray), we divide the tube into thinner tubes and entering paths are hit the sides of Next (white), the tubes bent collapsed pairs; in figure four tubes are merged into one after two windings. In third stage (gray), the single tube is propagated until we it intersect itself. Next comes a sequence of loops gradually grow further apart. reach empty no propagate. figure gives a rough of the construction, but scales been drastically compressed to in the same picture. ](BigPicture.eps){height="4in"} At this stage have enough freedom to bend the curve hit itself, forming a closed loop that wraps once around the spiral. is similar we did in the proof of Theorem \[Triangles\], in this case, in for this closed loop to be Gabriel, there must another closed loop to it. This not occur in \[Triangles\]. This constraint to construct sequence parallel the spiral between windings $k^{1
 part of the proof of Theorem \[NoNObtuse\] is dEalinG wiTh tHe $\Sqrt{K}$ intErnal corners thAT proPagate through the spiral; Since We HAve nO BoUnd foR the numBEr $n$ OF wiNdInGs oF tHE sPiral In tErms of $n$, This could pRodUcE arbitrarily MAnY new verticEs. THus propagatiOn pAths of ThE inTErnal CorNers mUst be bENt to teRminate eaRlIEr. ConsIDer the cASE oF patHs that start near thE InNEr end of the spirAl (the oUtER pART is HanDled in the sAmE way, bUT is easiER, sINCE thE Windings of the Spiral are loNGer). we consIdEr wHAt happEns foR vERy lArge spirals (WherE the numbeR of winDIngs $N$ is BIgger thAn the nUmbEr $k$ Of isOScElEs pIeCEs iN ThE spIRal; For smallEr VaLues oF $N$ we TRUNCate The ConsTructIon at the approPriAte sTAge.)

we firSt benD the PrOpagaTion paThs so ThAt adjacent paths MergE, and then mErgE aDjaCeNt merGEd pathS, anD coNtinue uNtil all THe pRoPAGAtIon paths generated bY tHE $o(\sQrt{k})$ inteRnal coRNeRs HAve mergeD iNto A sinGLE path. this OCcUrs arounD windiNG $k^{1/3}$. thIs path iS tHen proPaGatEd aS a $P$-paTH out To windIng $k^{1/2}$. See FIgure \[bIgPicture\].

![\[BigPiCTure\] This illusTRaTES tHE staGes In the spiral ConsTRuctIon. FIRsT (liGHt graY), we diViDE tHE tube into thinner tubEs And entEring Paths are bent tO hit the sidES OF these. NeXt (whITe), THe thin tubes are Bent aNd collapseD In pairs; iN this Figure foUr tubes arE MErged intO onE afTer Two WINdIngs. In the thirD STage (GrAy), the siNglE tube is ProPagAteD unTiL we can benD it to intErSeCt ItSelF. Next (WHite) comeS a SeqUeNce Of cloSEd loopS that GradUaLlY GroW furtheR ApART. FinAlLy We reAch ThE emptY regIOn (gRay), wherE no paths pRopAGate. thIs Figure gIves a rough ideA oF the constrUcTioN, but scALEs have beEn drastically compressed TO make alL thE stagEs viSible in thE saMe pictUre. ](bIgPictUre.eps){HeighT="4iN"}

At THIs staGE We HavE eNough freedOM To bEnd thE cUrve To hit itSelf, forming a closed LOop That wraps once AroUnd tHE SpIraL. thIS is SiMIlaR TO what we did in the Proof of TheOrEM \[TRiangles\], buT In tHiS case, in Order foR this CLosed loOp to be GabRiel, there MuSt be ANOthEr (larger) clOsed loop Parallel tO It. ThiS DiD not oCcuR in TheOrEm \[TRiangLes\]. ThiS ConStraiNt requIrEs us to ConstRuCt a sequeNce of parallel closed loopS in the SpiraL beTween windIngS $K^{1
 part of the proof of Theo rem \[NonO btuse \]isde alin g wi th the $\sqrt{ k }$ i nternal corners that p ropag at e  thr o ug h the  spiral ;  s i n cewe  h ave  n o  b oundfor  the nu mber $N$ o f w in dings of the sp iral in te rms  of $n$, thi s c ould p ro duc e  arbi tra rilymany n e w vert ices. Thu sp ropaga t ion pat h s  o f th e internal corner s  m u st be bent totermin at e  e a r lie r.Consider t he  case of path s  t h a t  st a rt near the i nner end of the  spira l(th e  outer  part  i s  ha ndled in th e sa me way, b ut ise asier,s ince th e wind ing s o f th e  s pi ral  a r e l o ng er) .  We  conside rwh at ha ppen s f o r ve rylarg e spi rals (where t henumb e r o f win dings  $N$  i s big ger th an th enumber $k$ of i sosc eles piec esin  th espira l ; forsma lle r value s of $N $  we  t r u n ca te the constructio na t  t he appro priate st ag e .)

We f ir stbend t he pr opag a ti on paths  so th a tad jacentpa ths me rg e,and  then merg e adja cent mer ged p a ths, and conti n ue until allt he p ro p agat ion  paths gene rate d  bythe$ O( \sq r t{k}) $ int er n al corners have merged  i nto asingl e path. Thisoccurs aro u n d  winding  $k^ { 1/ 3 }$. This pathis th en propaga t ed as a$P$-p ath outto windin g $k^{1/2} $.See  Fi gur e \[ BigPicture\]. ![\[ Bi gPictur e\]  This i llu str ate s t he  stages i n the sp ir al  c on str uctio n . First(l igh tgra y), w e  divid e the  tub ein t o t hinnert ub e s  and  e nt erin g p at hs ar e be n t t o hit t he sidesoft hese .Ne xt (whi te), the thin  t ubes are b en t a nd col l a psed inpairs; in this figure f o ur tube s a re me rged  into one  af ter tw o w i ndings . In t he th ir d s t a ge (g r a y) , t he  single tu b e  is  prop ag ated  untilwe can bend it toi nte rsect itself.  Ne xt ( w h it e)c om e s a  s e que n c e of closed loo ps that gr ad u al ly grow fu r the rapart.Finally  we r e ach the  empty re gion (gra y) , wh e r e n o paths pr opagate.  This fig u re gi v es  a ro ugh  ideaof  th e con struct i on,  butscales  h ave be en dr as ticallycompressed to make allthe st agesvis ible in t hes ame  picture.  ](B igPicture. eps ){h eight ="4 i n"}
At t h is  st a ge we  hav e  enough f r ee dom t obend the cu r v e  to  hitits e lf, fo rmin g a closed loop t h at wraps oncearou n d  th e s p iral .This is simila r t ow h at we di din the proo f of The or e m \[T riangl es\],but int h is case,in o rde r for thi s c lo s ed loop  t ob e Gabr iel,  t here m ust be anot h e r (larger) close d loo p paral l elto it .This di d  not  occur inTheorem \[T riangl es\] . Thi s const ra int re qui re s us to co n struct aseque nce ofpa rall elclosed  loo p s  in t he s pi ral  betweenw i nd i ng s$ k^{ 1
 part_of the_proof of Theorem \[NonObtuse\]_is dealing_with_the $\sqrt{k}$_internal_corners that propagate_through the spiral;_since we have no_bound for the_number_$N$ of windings of the spiral in terms of $n$, this could produce arbitrarily_many_new vertices._Thus_propagation_paths of the internal corners_must be bent to terminate_earlier. Consider_the case of paths that start near the_inner_end of the_spiral (the outer part is handled in the same_way, but is easier, since the_windings of the_spiral_are_longer). We consider what_happens for very large spirals (where_the number of windings $N$ is_bigger than the number $k$ of isosceles_pieces in the spiral; for smaller_values of $N$ we truncate_the construction_at the appropriate stage.)

We first_bend the propagation_paths so_that adjacent paths_merge, and then merge adjacent merged_paths, and continue_until all the propagation paths generated_by_the $O(\sqrt{k})$ internal_corners_have_merged into_a single path._This_occurs around_winding_$k^{1/3}$. This path is then propagated_as_a $P$-path out to winding $k^{1/2}$. See_Figure \[BigPicture\].

![\[BigPicture\] This illustrates_the_stages in the spiral_construction. First (light gray), we_divide the tube into thinner tubes_and entering_paths are_bent to hit the sides of these. Next (white), the thin_tubes are bent and collapsed in_pairs; in this figure_four tubes_are_merged into one_after_two windings._In the third stage (gray), the single_tube is_propagated until we can bend it_to intersect itself. Next_(white)_comes a sequence of closed loops_that gradually grow further apart. Finally_we reach the empty region_(gray),_where_no paths propagate. This figure_gives a rough idea of the_construction, but scales_have been drastically compressed to make all_the_stages visible in the same picture._](BigPicture.eps){height="4in"}

At_this stage we have enough freedom_to_bend_the curve to hit itself,_forming a closed loop that wraps_once around the spiral. This is similar to what_we did in_the proof of Theorem \[Triangles\],_but_in_this case, in order for this closed loop to be_Gabriel, there_must be another_(larger) closed loop parallel to it. This did not occur_in Theorem \[Triangles\]. This constraint requires us_to construct a sequence of parallel closed loops in the spiral_between windings $k^{1