)\leq3k\ell$.

The proof is analogous to that of Lemma \[lem:thstr\], but slightly more complicated. Let $\gamma'$ be the curve in $\Gamma$ defining $\ell$ as above, and let $\gamma$ denote the corresponding curve back in $G$ in $\Sigma_1$. We can consider $\alpha$ and $\gamma$ as a cycle and a path, respectively, in the vertex-face incidence graph $G_f$. Let $\alpha\cap\gamma=\{a,b\}$ (where possibly $a=b$), and let $\alpha'$ denote the component of $\alpha\sem\{a,b\}$ having not more intersecting points with the drawing $G$ than the other component. Then $\alpha'\cup\gamma$ is a noncontractible loop intersecting $G$ in $\ell'\leq\ell+k/2+1$ points, as a simple case analysis shows (observe that, indeed, $\ell'$ may be larger than $\ell+k/2$ when some of $a,b$ are vertices of $G$). In particular, $\ell'\geq k\geq5$ and so $k/2\leq\ell+1$ and $\ell\geq2$. Therefore, $\alpha$ and $\alpha'\cup\gamma$ define a pair of one-leaping cycles in $G_f$ witnessing $\stretchf(G)\leq k\ell'\leq3k\ell$.

We may now conclude, in the toroidal case:

\[thm:main-minorcr\] Let $G$ be a graph embedded in the torus. If $\fw(G)\geq5$, then

-   $\frac{10}{63}\cdot\mcr(G) \leq \Tex(G) \leq 12\cdot\mcr(G)$, and

-   there is a polynomial time algorithm that computes a graph $H$ having $G$ as its minor and outputs a drawing of $H$ in the plane with at most $76\cdot\mcr(G)$ crossings.

Let $G$, $k\geq5$, and $\ell$ be as in Theorem \[thm:facegrid-torus\]. Combining Corollary \[cor:cr-fstretch-torus\] with Lemma \[lem:stretch-kl-torus\] we get $\mcr(G)\leq\frac{18
) \leq3k\ell$. 

 The proof is analogous to that of Lemma   \[lem: thstr\ ], but slightly more complicated. Let $ \gamma'$ be the curve in $ \Gamma$ define $ \ell$ as above, and lease $ \gamma$ denote the corresponding curve back in $ G$ in $ \Sigma_1$. We can study $ \alpha$ and $ \gamma$ as a cycle and a path, respectively, in the vertex - font incidence graph $ G_f$. get $ \alpha\cap\gamma=\{a, b\}$ (where possibly $ a = b$), and let $ \alpha'$ denote the component of $ \alpha\sem\{a, b\}$ having not more decussate points with the drawing $ G$ than the other component. Then $ \alpha'\cup\gamma$ is a noncontractible loop topology intersecting $ G$ in $ \ell'\leq\ell+k/2 + 1 $ points, as a simple case analysis show (observe that, indeed, $ \ell'$ may be larger than $ \ell+k/2 $ when some of $ a, b$ are vertices of $ G$). In finical, $ \ell'\geq k\geq5 $ and so $ k/2\leq\ell+1 $ and $ \ell\geq2$. Therefore, $ \alpha$ and $ \alpha'\cup\gamma$ define a pair of one - jump cycles in $ G_f$ witnessing $ \stretchf(G)\leq k\ell'\leq3k\ell$. 

 We may now conclude, in the toroidal case: 

 \[thm: main - minorcr\ ] lease $ G$ be a graph embedded in the torus. If $ \fw(G)\geq5 $, then 

 -    $ \frac{10}{63}\cdot\mcr(G) \leq \Tex(G) \leq 12\cdot\mcr(G)$, and 

 -    there is a polynomial time algorithm that computes a graph $ H$ having $ G$ as its minor and outputs a drawing of $ H$ in the plane with at most $ 76\cdot\mcr(G)$ crossings. 

 Let $ G$, $ k\geq5 $, and $ \ell$ be as in Theorem   \[thm: facegrid - torus\ ]. Combining Corollary   \[cor: cr - fstretch - torus\ ] with Lemma   \[lem: stretch - kl - torus\ ] we get $ \mcr(G)\leq\frac{18
)\leq3n\ell$.

The proof is analogoms to that of Lemma \[lem:tistr\], buf slightuy more complicated. Let $\gamme'$ be the xurve in $\Gamma$ definine $\ell$ as wbove, ane leu $\gamma$ denote thx corresijndihn curre back in $G$ in $\Xigma_1$. We cdn consider $\al[hx$ cnd $\gamma$ as a cycle and a path, respqctivelu, ln the vertex-fwce pnsidehbe graph $G_f$. Let $\alpha\cap\gamma=\{a,b\}$ (where kossibly $a=b$), and ley $\alpha'$ denote the componejt ov $\alpha\sem\{a,b\}$ havinh not more untewwecting poings with tht brawing $G$ tgan the other component. Then $\aloha'\cu'\gamma$ is a ninclttractible ooop pntersecting $N$ in $\eln'\leq\ell+l/2+1$ points, as a xim'le xase analysis shows (ouserve that, indeed, $\ejl'$ may be lcrger than $\ell+k/2$ when wone of $a,b$ dre xwrtkcea pf $G$). In oarvicular, $\ell'\feq k\geq5$ ane so $k/2\leq\ell+1$ and $\elk\gqw2$. Therefore, $\ampha$ agd $\alpha'\cup\gamma$ define a pair of one-leappng dycles in $G_f$ witnessing $\stretchf(G)\leq k\ell'\leq3n\ell$.

We mar now conclude, in the toroidal case:

\[thm:main-minorcr\] Let $J$ ce c grapf elbedded in the torus. If $\fw(G)\geq5$, then

-   $\frac{10}{63}\cdoe\jct(G) \leq \Tex(G) \leq 12\gdot\mcr(G)$, and

-   thete ix a polynomial time cmgkrithm that computfs a grwph $H$ having $G$ as ots minor and outputs a draqing of $H$ in rhe plane with at lost $76\cdot\mcx(G)$ croxsingx.

Let $G$, $k\geq5$, and $\ell$ be cs in Fheorem \[thm:fwcegrid-todjs\]. Combining Corullsrf \[cor:cr-fsufetch-torus\] with Lqmma \[lem:stcetch-ll-torus\] we bet $\mcw(G)\leq\frac{18
)\leq3k\ell$. The proof is analogous to that \[lem:thstr\], slightly more Let $\gamma'$ be $\ell$ above, and let denote the corresponding back in $G$ in $\Sigma_1$. We consider $\alpha$ and $\gamma$ as a cycle and a path, respectively, in the incidence graph $G_f$. Let $\alpha\cap\gamma=\{a,b\}$ (where possibly $a=b$), and let $\alpha'$ denote the of having more points with the drawing $G$ than the other component. Then $\alpha'\cup\gamma$ is a noncontractible loop intersecting in $\ell'\leq\ell+k/2+1$ points, as a simple case analysis (observe that, indeed, $\ell'$ be larger than $\ell+k/2$ when of are vertices $G$). particular, k\geq5$ and so and $\ell\geq2$. Therefore, $\alpha$ and $\alpha'\cup\gamma$ define a pair of one-leaping cycles in $G_f$ witnessing $\stretchf(G)\leq k\ell'\leq3k\ell$. may now the toroidal \[thm:main-minorcr\] $G$ a graph embedded torus. If $\fw(G)\geq5$, then - $\frac{10}{63}\cdot\mcr(G) 12\cdot\mcr(G)$, and - there is a polynomial time that computes graph $H$ having $G$ as its and outputs a drawing of $H$ in the with at most $76\cdot\mcr(G)$ crossings. Let $G$, $k\geq5$, and $\ell$ be as in Theorem \[thm:facegrid-torus\]. \[cor:cr-fstretch-torus\] with Lemma \[lem:stretch-kl-torus\] get $\mcr(G)\leq\frac{18
)\leq3k\ell$.

The proof is analogouS to that of LEmma \[lEm:tHstR\], bUt slIghtLy more complicaTEd. LeT $\gamma'$ be the curve in $\GammA$ defiNiNG $\ell$ AS aBove, aNd let $\gaMMa$ DENotE tHe CorReSPoNding CurVe back iN $G$ in $\Sigma_1$. WE caN cOnsider $\alpha$ ANd $\Gamma$ as a cyCle And a path, respEctIvely, iN tHe vERtex-fAce IncidEnce grAPh $G_f$. LeT $\alpha\cap\GaMMa=\{a,b\}$ (whERe possiBLY $a=B$), and Let $\alpha'$ denote the COmPOnent of $\alpha\seM\{a,b\}$ havInG NoT MOre IntErsecting pOiNts wiTH the draWInG $g$ THan THe other componEnt. Then $\alphA'\Cup\Gamma$ iS a NonCOntracTible LoOP inTersecting $G$ In $\elL'\leq\ell+k/2+1$ pOints, aS A simple CAse analYsis shOws (ObsErve THaT, iNdeEd, $\ELl'$ mAY bE laRGer Than $\ell+k/2$ WhEn Some oF $a,b$ aRE VERticEs oF $G$). In PartiCular, $\ell'\geq k\gEq5$ aNd so $K/2\Leq\Ell+1$ anD $\ell\gEq2$. ThErEfore, $\Alpha$ aNd $\alpHa'\Cup\gamma$ define a Pair Of one-leapIng CyCleS iN $G_f$ wiTNessinG $\stRetChf(G)\leq K\ell'\leq3K\Ell$.

we MAY NoW conclude, in the toroIdAL CaSe:

\[thm:maiN-minorCR\] LEt $g$ Be a graph EmBedDed iN THe torUs. If $\FW(G)\Geq5$, then

-   $\fRac{10}{63}\cdoT\McR(G) \Leq \Tex(G) \LeQ 12\cdot\mCr(g)$, anD

-   thEre is A PolyNomial Time algoRithm THat computes a grAPh $H$ having $G$ as iTS mINOr ANd ouTpuTs a drawing oF $H$ in THe plAne wITh At mOSt $76\cdoT\mcr(G)$ CrOSsINgs.

Let $G$, $k\geq5$, and $\ell$ be As In TheoRem \[thM:facegrid-toruS\]. Combining cOROllary \[coR:cr-fSTrETch-torus\] with LeMma \[leM:stretch-kl-TOrus\] we geT $\mcr(G)\Leq\frac{18
)\leq3k\ell$.

The proof i s analogou s totha t o fLemm a \[ lem:thstr\], b u t sl ightly more complicate d. Le t$ \gam m a' $ bethe cur v ei n  $\ Ga mm a$de f in ing $ \el l$ as a bove, andlet  $ \gamma$ deno t ethe corres pon ding curve b ack  in $G $in$ \Sigm a_1 $. We  can c o nsider  $\alpha$  a n d $\ga m ma$ asa cy cleand a path, respe c ti v ely, in the ve rtex-f ac e  i n c ide nce  graph $G_ f$ . Let $\alpha \ ca p \ g amm a =\{a,b\}$ (wh ere possibl y  $a =b$),an d l e t $\al pha'$  d e not e the compo nent  of $\alp ha\sem \ {a,b\}$ havingnot mo reint erse c ti ng  po in t s w i th  th e  dr awing $G $th an th e ot h e r comp one nt.Then$\alpha'\cup\ gam ma$i s a  nonc ontra ctib le  loop  inter secti ng  $G$ in $\ell'\ leq\ ell+k/2+1 $ p oi nts ,as as implecas e a nalysis  shows( obs er v e th at, indeed, $\ell' $m a ybe large r than $\ el l +k/2$ wh en  so me o f $a,b$  are ve rtices o f $G$) .  I nparticu la r, $\e ll '\g eqk\geq 5 $ an d so $ k/2\leq\ ell+1 $  and $\ell\geq 2 $. Therefore, $\ a l ph a $ an d $ \alpha'\cup \gam m a$ d efin e  a  pa i r ofone-l ea p in g  cycles in $G_f$ wi tn essing  $\st retchf(G)\leq  k\ell'\le q 3 k \ell$.
We m a yn ow conclude, i n the  toroidalc ase:

\[ thm:m ain-mino rcr\] Let $ G$ be agra phemb edd e d  i n the torus.I f  $\f w( G)\geq5 $,then

-   $\f rac {10 }{ 63}\cdot\ mcr(G) \ le q\T ex (G)  \leq 12\cdot\ mc r(G )$ , a nd

-   ther e isa po ly no m ial  time a l go r i thmth at  com put es  a gr aph$ H$having$G$ as it s m i noran doutputs  a drawing of  $ H$ in thepl ane  witha t  most $7 6\cdot\mcr(G)$ crossing s .

Let$G$ , $k\ geq5 $, and $\ ell $ be a s i n  Theor em \[t hm:fa ce gri d - torus \ ] .Com bi ning Corol l a ry\[cor :c r-fs tretch- torus\] with Lemma \[l em:stretch-kl -to rus\ ] we  ge t  $ \ mcr (G ) \le q \ frac{18
)\leq3k\ell$.

The proof_is analogous_to that of Lemma \[lem:thstr\],_but slightly_more_complicated. Let_$\gamma'$_be the curve_in $\Gamma$ defining_$\ell$ as above, and_let $\gamma$ denote_the_corresponding curve back in $G$ in $\Sigma_1$. We can consider $\alpha$ and $\gamma$ as_a_cycle and_a_path,_respectively, in the vertex-face incidence_graph $G_f$. Let $\alpha\cap\gamma=\{a,b\}$ (where_possibly $a=b$),_and let $\alpha'$ denote the component of $\alpha\sem\{a,b\}$_having_not more intersecting_points with the drawing $G$ than the other component._Then $\alpha'\cup\gamma$ is a noncontractible loop_intersecting $G$ in_$\ell'\leq\ell+k/2+1$_points,_as a simple case_analysis shows (observe that, indeed, $\ell'$_may be larger than $\ell+k/2$ when_some of $a,b$ are vertices of $G$)._In particular, $\ell'\geq k\geq5$ and so_$k/2\leq\ell+1$ and $\ell\geq2$. Therefore, $\alpha$_and $\alpha'\cup\gamma$_define a pair of one-leaping_cycles in $G_f$_witnessing $\stretchf(G)\leq_k\ell'\leq3k\ell$.

We may now_conclude, in the toroidal case:

\[thm:main-minorcr\] Let_$G$ be a_graph embedded in the torus. If_$\fw(G)\geq5$,_then

-  _$\frac{10}{63}\cdot\mcr(G)_\leq_\Tex(G) \leq_12\cdot\mcr(G)$, and

- __there is_a_polynomial time algorithm that computes a_graph_$H$ having $G$ as its minor and_outputs a drawing of_$H$_in the plane with_at most $76\cdot\mcr(G)$ crossings.

Let $G$,_$k\geq5$, and $\ell$ be as in_Theorem \[thm:facegrid-torus\]. Combining_Corollary \[cor:cr-fstretch-torus\] with_Lemma \[lem:stretch-kl-torus\] we get $\mcr(G)\leq\frac{18