:\
i) its endpoints are on either $b$-sides or borders of $S$,\
ii) it is the shortest among its homotopy class, where the homotopy allows endpoints to glide along a given $b$-side or border of $S$ (but cannot glide to the other sides).

Given $b$-sides or borders where the endpoints may glide along, these $p$-geodesics are unique among the homotopy class and called perpendiculars since they end on $b$-sides or borders at right angles (Theorem 1.5.3 in [@Buser1992GeometryAS] which is also briefly reviewed in Appendix \[hyp\]). Note that there may be multiple homotopically different $p$-geodesics ending on the same $b$-sides or borders. By definition, all $p$-sides are also $p$-geodesics.

To find a hexagon decomposition of a BHHS, one simply draws a maximal set of pairwise disjoint $p$-geodesics and cut along them, where they become $p$-sides of hexagons after cutting. This works because $p$-geodesics meet $b$-sides or borders at right angles, always preserving the right-angledness and neighborness between $p$ and $b$-sides. In the intermediate steps of cutting, $(2n)$-gons arise with $n\geq3$. No odd-gons appear because they do not respect the notion of $p$ and $b$-sides, and rectangles do not appear because there is no right-angled rectangle in hyperbolic geometry. All $(2n)$-gons with $n\geq3$ can be decomposed into hexagons by cutting along $p$-geodesics.

Given a BHHS $S$ and a $p$-geodesic $\gamma$ on $S$, the collar $P_{\gamma}$ corresponding to it is defined as P\_={xS|((x,))1 }, where again, $\gamma$ appearing as a number means its length. Note that when $\gamma$ is a $p$-side, one gets a half-collar in the sense that the width of the collar is a half of that of the collar of a $p$-geodesic of the same length which is not a $p$-side. We have our first collar theorem for BHHS.

\[collar1\] Consider a BHHS $S$ and pairwise
: \ 
 i) its endpoints are on either $ b$-sides or borders of $ S$,\ 
 ii) it is the shortest among its homotopy class, where the homotopy allow end point to glide along a given $ b$-side or border of $ S$ (but cannot glide to the early sides). 

 feed $ b$-sides or borders where the endpoints may glide along, these $ p$-geodesics are alone among the homotopy class and called perpendicular since they end on $ b$-sides or borders at right angle (Theorem 1.5.3 in [ @Buser1992GeometryAS ] which is also briefly review in Appendix \[hyp\ ]). Note that there may be multiple homotopically unlike $ p$-geodesics ending on the like $ b$-sides or molding. By definition, all $ p$-sides are also $ p$-geodesics. 

 To find a hexagon decomposition of a BHHS, one just draws a maximal set of pairwise disjoint $ p$-geodesics and abridge along them, where they become $ p$-sides of hexagon after cutting. This works because $ p$-geodesics meet $ b$-sides or borders at right angles, constantly preserving the right - angledness and neighborness between $ p$ and $ b$-sides. In the intermediate steps of cutting, $ (2n)$-gons arise with $ n\geq3$. No odd - gons appear because they do not respect the notion of $ p$ and $ b$-sides, and rectangles do not appear because there is no right - angled rectangle in hyperbolic geometry. All $ (2n)$-gons with $ n\geq3 $ can be decomposed into hexagons by cutting along $ p$-geodesics. 

 contribute a BHHS $ S$ and a $ p$-geodesic $ \gamma$ on $ S$, the collar $ P_{\gamma}$ corresponding to it is define as P\_={xS|((x,))1 }, where again, $ \gamma$ appear as a number means its length. Note that when $ \gamma$ is a $ p$-side, one gets a half - collar in the sense that the width of the choker is a half of that of the collar of a $ p$-geodesic of the same length which is not a $ p$-side. We have our first apprehension theorem for BHHS. 

 \[collar1\ ] Consider a BHHS $ S$ and pairwise
:\
i) ihs endpoints are on eithtr $b$-sides or bordgrw of $S$,\
mi) it ia the shurtest among its homotopy cless, qhere the homotopy allows evdpoints no glide qlonj a given $b$-side or bordev of $A$ (but rannot glide to the other sides).

Given $b$-shdds or borders where the endpoints may glide sllng, these $p$-geoqesibs are lnlque among the homotopy class ans callev perpendicularx since they end on $b$-sides or horders at right ajgles (Theorgj 1.5.3 yb [@Buser1992GeomegryAS] which is also brjefly reviewed in Appendix \[hyp\]). Vote chat there nat bf multiple himotoiically diffevvnt $p$-gemdesics ending on the sake $v$-sides or borders. By vefinition, all $p$-sidef are alsm $'$-geodesics.

To find a hwxqgon gecokposkriov or e BGHS, onf smmply draws a maximal wet of pairwise diskoybt $p$-geodesics and ctt along them, where they become $p$-sides of hesagons after cutting. Thus works because $p$-geofesics meqt $b$-sides or borders at right angles, always presesving ghe rlght-xbgpedness and neighborness between $p$ and $b$-sides. Jn tme intermediate fteps of cuytlnb, $(2n)$-gons arise dith $n\ysq3$. No odd-gons appear becausg they do not rtspecy the notion of $p$ and $b$-sidew, and rectanylew do not appear beeause there ns no tight-amgled rectangle in hypexbolic geometry. Apl $(2n)$-gons skth $n\geq3$ can be aecpm[osed inuu hexagons by cuteing alonj $p$-gepdesics.

Eivem a BHRS $S$ and a $p$-geodesic $\gamma$ on $S$, thf colpas $P_{\gamma}$ clrresponding to it is defined as P\_={xS|((x,))1 }, where sgdin, $\gamma$ a'pearikg as a number ieans its lengjh. Note tkat whdn $\gamma$ ia a $p$-sive, one gets w half-collar hj the sense vhat the ridty of the couuar is a half pf that oy the collar of a $p$-geodcsic ur the same lengck qhich is not a $l$-siae. Re heve ots first colldr tfeofrm fof BHHS.

\[collav1\] Cunsicer a BHHS $S$ and paiswiss
:\ i) its endpoints are on either borders $S$,\ ii) is the shortest the allows endpoints to along a given or border of $S$ (but cannot to the other sides). Given $b$-sides or borders where the endpoints may glide these $p$-geodesics are unique among the homotopy class and called perpendiculars since they on or at angles (Theorem 1.5.3 in [@Buser1992GeometryAS] which is also briefly reviewed in Appendix \[hyp\]). Note that there be multiple homotopically different $p$-geodesics ending on the $b$-sides or borders. By all $p$-sides are also $p$-geodesics. find hexagon decomposition a one draws a maximal of pairwise disjoint $p$-geodesics and cut along them, where they become $p$-sides of hexagons after cutting. This because $p$-geodesics or borders right always the right-angledness and $p$ and $b$-sides. In the intermediate $(2n)$-gons arise with $n\geq3$. No odd-gons appear because do not the notion of $p$ and $b$-sides, rectangles do not appear because there is no rectangle in hyperbolic geometry. All $(2n)$-gons with $n\geq3$ can be decomposed into hexagons by cutting Given a BHHS $S$ a $p$-geodesic $\gamma$ $S$, collar corresponding it is as P\_={xS|((x,))1 }, where again, $\gamma$ appearing as a number means length. Note that when $\gamma$ is a $p$-side, one gets in sense that the of the collar is half that of the collar $p$-geodesic the is a We have our first theorem for BHHS. \[collar1\] Consider BHHS $S$ and pairwise
:\
i) its endpoints are on either $b$-Sides or borDers oF $S$,\
iI) it Is The sHortEst among its homOTopy Class, where the homotopy aLlows EnDPoinTS tO glidE along a GIvEN $B$-siDe Or BorDeR Of $s$ (but cAnnOt glide To the other SidEs).

given $b$-sides oR BoRders where The Endpoints may GliDe alonG, tHesE $P$-geodEsiCs are Unique AMong thE homotopy ClASs and cALled perPENdIculArs since they end on $B$-SiDEs or borders at rIght anGlES (THEOreM 1.5.3 in [@buser1992GeomeTrYAS] whICh is alsO BrIEFLy rEViewed in AppenDix \[hyp\]). Note tHAt tHere maY bE muLTiple hOmotoPiCAllY different $p$-GeodEsics endiNg on thE Same $b$-siDEs or borDers. By DefIniTion, ALl $P$-sIdeS aRE alSO $p$-GeoDEsiCs.

To find A hExAgon dEcomPOSITion Of a bHHS, One siMply draws a maxImaL set OF paIrwisE disjOint $P$-gEodesIcs and Cut alOnG them, where they bEcomE $p$-sides of HexAgOns AfTer cuTTing. ThIs wOrkS becausE $p$-geodeSIcs MeET $B$-SiDes or borders at righT aNGLeS, always pReservINg ThE Right-angLeDneSs anD NEighbOrneSS bEtween $p$ aNd $b$-sidES. IN tHe interMeDiate sTePs oF cuTting, $(2N)$-Gons Arise wIth $n\geq3$. NO odd-gONs appear becausE They do not respECt THE nOTion Of $p$ And $b$-sides, anD recTAnglEs do NOt AppEAr becAuse tHeRE iS No right-angled rectanGlE in hypErbolIc geometry. All $(2N)$-gons with $n\GEQ3$ Can be decOmpoSEd INto hexagons by cUttinG along $p$-geoDEsics.

GivEn a BHhS $S$ and a $p$-Geodesic $\gAMMa$ on $S$, the ColLar $p_{\gaMma}$ CORrEsponding to it IS DefiNeD as P\_={xS|((x,))1 }, WheRe again, $\GamMa$ aPpeAriNg As a number Means its LeNgTh. noTe tHat whEN $\gamma$ is A $p$-SidE, oNe gEts a hALf-collAr in tHe seNsE tHAt tHe width OF tHE CollAr Is A halF of ThAt of tHe coLLar Of a $p$-geoDesic of thE saME lenGtH wHich is nOt a $p$-side. We havE oUr first colLaR thEorem fOR bHHS.

\[collAr1\] Consider a BHHS $S$ and pairWIse
:\
i) its endpoints are on  either $b $-sid esorbo rder s of  $S$,\
ii) iti s th e shortest among its h omoto py clas s ,where  the ho m ot o p y a ll ow s e nd p oi nts t o g lide al ong a give n $ b$ -side or bor d er  of $S$ (b utcannot glide  to  the o th ers ides) .
Given  $b$-s i des or  borderswh e re the endpoin t s  m ay g lide along, these $p $ -geodesics are  uniqu ea mo n g  th e h omotopy cl as s and calledp er p e n dic u lars since th ey end on $ b $-s ides o rbor d ers at  righ ta ngl es (Theorem  1.5 .3 in [@B user19 9 2Geomet r yAS] wh ich is  al sobrie f ly  r evi ew e d i n  A ppe n dix  \[hyp\] ).  N ote t hatt h e r e ma y b e mu ltipl e homotopical lydiff e ren t $p$ -geod esic sendin g on t he sa me  $b$-sides or b orde rs. By de fin it ion ,all $ p $-side s a realso $p $-geode s ics .T o  f ind a hexagon deco mp o s it ion of a  BHHS, on es imply dr aw s a  max i m al se t of pa irwise d isjoin t  $ p$ -geodes ic s andcu t a lon g the m , wh ere th ey becom e $p$ - sides of hexag o ns after cutt i ng . Th i s wo rks  because $p $-ge o desi cs m e et  $b $ -side s orbo r de r s at right angles,al ways p reser ving the righ t-angledne s s and neig hbor n es s  between $p$ a nd $b $-sides. I n  the int ermed iate ste ps of cut t i ng, $(2n )$- gon s a ris e wi th $n\geq3$.N o  odd -g ons app ear  becaus e t hey  do  no trespect t he notio nof  $ p$  an d $b$ - sides, a nd  re ct ang les d o  not a ppear  bec au se the re is n o  r i g ht-a ng le d re cta ng le in  hyp e rbo lic geo metry. Al l $ ( 2n)$ -g on s with$n\geq3$ canbe  decompose dint o hexa g o ns by cu tting along $p$-geodesi c s.

Giv ena BHH S $S $ and a $ p$- geodes ic$ \gamma $ on $ S$, t he  co l l ar $P _ { \g amm a} $ correspo n d ing  to i tis d efinedas P\_={xS|((x,))1 },where again,$\g amma $ ap pea r in g  as  a num b e r means its len gth. Noteth a twhen $\gam m a$is  a $p$- side, o ne ge t s a hal f-collarin the se ns e th a t  th e width of  the col lar is ah alf o f  t hat o f t he col la r o f a $ p$-geo d esi c ofthe sa me  lengt h whi ch  is nota $p$-side. We have our  first  coll artheorem f orB HHS .

\[coll ar1\ ] Consider  aBHH S $S$  an d  pair wise 
:\
i) its_endpoints are_on either $b$-sides or_borders of_$S$,\
ii)_it is_the_shortest among its_homotopy class, where_the homotopy allows endpoints_to glide along_a_given $b$-side or border of $S$ (but cannot glide to the other sides).

Given $b$-sides_or_borders where_the_endpoints_may glide along, these $p$-geodesics_are unique among the homotopy_class and_called perpendiculars since they end on $b$-sides or_borders_at right angles_(Theorem 1.5.3 in [@Buser1992GeometryAS] which is also briefly reviewed_in Appendix \[hyp\]). Note that there_may be multiple_homotopically_different_$p$-geodesics ending on the_same $b$-sides or borders. By definition,_all $p$-sides are also $p$-geodesics.

To find_a hexagon decomposition of a BHHS, one_simply draws a maximal set of_pairwise disjoint $p$-geodesics and cut_along them,_where they become $p$-sides of_hexagons after cutting._This works_because $p$-geodesics meet_$b$-sides or borders at right angles,_always preserving the_right-angledness and neighborness between $p$ and_$b$-sides._In the intermediate_steps_of_cutting, $(2n)$-gons_arise with $n\geq3$._No_odd-gons appear_because_they do not respect the notion_of_$p$ and $b$-sides, and rectangles do not_appear because there is_no_right-angled rectangle in hyperbolic_geometry. All $(2n)$-gons with $n\geq3$_can be decomposed into hexagons by_cutting along_$p$-geodesics.

Given a_BHHS $S$ and a $p$-geodesic $\gamma$ on $S$, the collar $P_{\gamma}$_corresponding to it is defined as_P\_={xS|((x,))1 }, where again,_$\gamma$ appearing_as_a number means_its_length. Note_that when $\gamma$ is a $p$-side, one_gets a_half-collar in the sense that the_width of the collar_is_a half of that of the_collar of a $p$-geodesic of the_same length which is not_a_$p$-side._We have our first collar_theorem for BHHS.

\[collar1\] Consider a BHHS_$S$ and pairwise