A(t)$ of $t$, we can see that $A(t)$ is an integer multiple of $\tfrac {1} {2K^2}$. Since $A(c)$ is the sum of areas of triangles such as $t$ discussed above, it follows that $A(c)$ is also an integer multiple of $\tfrac {1} {2K^2}$. Taking $n$ so that $$\begin{aligned}
\label{qq8a}
|c|_{{\mathcal{T}}}^n > 4K^2,\end{aligned}$$ we see that Theorem \[thm6\] applies with $L = 2K^2$ and yields the desired conclusion.

Suppose that the property (b) holds for $c$. By the Cramer’s rule applied to the system of two linear equations $$\begin{aligned}
a_{i,x}x + a_{i,y}y & = b_{i} \\
a_{j,x}x + a_{j,y}y & = b_{j}\end{aligned}$$ which, as in property (b), define the lines that contain nonparallel segments $c_i, c_j$, we have that the intersection point of $c_{i}$ and $c_{j}$ has rational coordinates whose denominators do not exceed $$\begin{aligned}
\left|
\det \begin{bmatrix}
 a_{i,x}  & a_{i,y} \\
 a_{j,x} & a_{j,y} \\
\end{bmatrix} \right|  \le 2K^2.\end{aligned}$$

This means that coordinates of the intersection point of two nonparallel line segments $c_{i}$, $c_{j}$ of $c$ are integer multiples of $\tfrac{1}{ (2K^2)!}$ and the case when the property (b) holds for $c$ is reduced to the case when the property (a) holds for $c$ with $K' =  (2K^2)!$.

It remains to show the last claim of Corollary \[cor3\]. The case when $q$ is a closed path in the tessellation ${\mathcal{T}}_6$ of the plane $\mathbb R^2$ into regular hexagons of unit area can be obviously reduced to the case when $q$ is a closed path in the tessellation ${\
A(t)$ of $ t$, we can see that $ A(t)$ is an integer multiple of $ \tfrac { 1 } { 2K^2}$. Since $ A(c)$ is the sum of areas of triangles such as $ t$ discourse above, it take after that $ A(c)$ is also an integer multiple of $ \tfrac { 1 } { 2K^2}$. Taking $ n$ so that $ $ \begin{aligned } 
 \label{qq8a } 
 |c|_{{\mathcal{T}}}^n > 4K^2,\end{aligned}$$ we see that Theorem   \[thm6\ ] apply with $ L = 2K^2 $ and yields the desired termination. 

 presuppose that the property (bacillus) holds for $ c$. By the Cramer ’s rule apply to the system of two linear equations $ $ \begin{aligned } 
 a_{i, x}x + a_{i, y}y & = b_{i } \\ 
 a_{j, x}x + a_{j, y}y & = b_{j}\end{aligned}$$ which, as in property (b), define the credit line that contain nonparallel segments $ c_i, c_j$, we consume that the intersection point of $ c_{i}$ and $ c_{j}$ has rational coordinate whose denominators do not surpass $ $ \begin{aligned } 
 \left| 
 \det \begin{bmatrix } 
  a_{i, x }   & a_{i, y } \\ 
  a_{j, x } & a_{j, y } \\ 
 \end{bmatrix } \right|   \le 2K^2.\end{aligned}$$ 

 This means that coordinates of the intersection point of two serial line segments $ c_{i}$, $ c_{j}$ of $ c$ are integer multiples of $ \tfrac{1 } { (2K^2)!}$ and the case when the property (b) holds for $ c$ is reduced to the case when the property (a) holds for $ c$ with $ K' =   (2K^2)!$. 

 It remains to show the last claim of Corollary   \[cor3\ ]. The event when $ q$ is a closed path in the tessellation $ { \mathcal{T}}_6 $ of the airplane $ \mathbb R^2 $ into even hexagon of unit area can be obviously reduced to the case when $ q$ is a closed path in the tessellation $ { \
A(t)$ lf $t$, we can see that $A(t)$ ls an integer multiple mf $\tfrzc {1} {2K^2}$. Sivce $A(c)$ is the sum of areas oh truangltf such as $t$ discusred above, it folliws uhat $A(c)$ is also ai integev mulflple mh $\tfrac {1} {2K^2}$. Takikg $n$ so thad $$\begin{aligned}
\nacep{qq8a}
|c|_{{\mathcal{T}}}^n > 4K^2,\end{aligned}$$ we see ehat Throgem \[thm6\] applies witn $L = 2I^2$ and yields the desired conclusioh.

Suppost that the propertu (b) holds for $c$. By the Craler’s rule applied to tje system od twj linear equagions $$\begin{aligned}
a_{i,x}x + a_{i,y}y & = b_{i} \\
a_{j,x}x + a_{j,y}y & = b_{j}\end{auigneb}$$ which, as un prlkerty (b), defiie the lines that gpntain nonparsllel segments $c_i, c_j$, we have that the intxrsection point of $c_{y}$ and $c_{j}$ vaa rational coordibares wvose denuninxtods dk not fxcxed $$\begin{aljgned}
\left|
\der \begin{bmatrix}
 a_{i,x}  & w_{p,u} \\
 a_{j,x} & a_{j,y} \\
\snd{bmaeryx} \right|  \le 2K^2.\end{aligned}$$

This means that cokrdinates of the interswction point of two nlnparallej line segments $c_{i}$, $c_{j}$ of $c$ are integer multiples mf $\tfcaz{1}{ (2K^2)!}$ akd tfw fase when the property (b) holds for $c$ is reducqs uo nhe case when the property (a) hllcf for $c$ with $Y' =  (2K^2)!$.

Ic rsmains to show the last cjaim if Corollwry \[cpr3\]. The case when $q$ is a clowed path in nhe ressellation ${\mathccl{T}}_6$ of the puane $\mathnb R^2$ into regular hexaguns kf unit arew can be kcviously reduced to tve case when $q$ is a closed path in vhe tzssellatkon ${\
A(t)$ of $t$, we can see that an multiple of {1} {2K^2}$. Since areas triangles such as discussed above, it that $A(c)$ is also an integer of $\tfrac {1} {2K^2}$. Taking $n$ so that $$\begin{aligned} \label{qq8a} |c|_{{\mathcal{T}}}^n > 4K^2,\end{aligned}$$ see that Theorem \[thm6\] applies with $L = 2K^2$ and yields the desired Suppose the (b) for $c$. By the Cramer’s rule applied to the system of two linear equations $$\begin{aligned} a_{i,x}x a_{i,y}y & = b_{i} \\ a_{j,x}x + a_{j,y}y = b_{j}\end{aligned}$$ which, as property (b), define the lines contain segments $c_i, we that intersection point of and $c_{j}$ has rational coordinates whose denominators do not exceed $$\begin{aligned} \left| \det \begin{bmatrix} a_{i,x} & a_{i,y} a_{j,x} & \end{bmatrix} \right| 2K^2.\end{aligned}$$ means coordinates of the of two nonparallel line segments $c_{i}$, are integer multiples of $\tfrac{1}{ (2K^2)!}$ and the when the (b) holds for $c$ is reduced the case when the property (a) holds for with $K' = (2K^2)!$. It remains to show the last claim of Corollary \[cor3\]. The $q$ is a closed in the tessellation of plane R^2$ regular hexagons unit area can be obviously reduced to the case when $q$ a closed path in the tessellation ${\
A(t)$ of $t$, we can see that $A(t)$ is an inTeger multiPle of $\TfrAc {1} {2K^2}$. siNce $A(C)$ is tHe sum of areas of TRianGles such as $t$ discussed abOve, it FoLLows THaT $A(c)$ is Also an iNTeGER muLtIpLe oF $\tFRaC {1} {2K^2}$. TakIng $N$ so that $$\Begin{alignEd}
\lAbEl{qq8a}
|c|_{{\mathcaL{t}}}^n > 4k^2,\end{aligneD}$$ we See that TheorEm \[tHm6\] applIeS wiTH $L = 2K^2$ anD yiElds tHe desiREd concLusion.

SupPoSE that tHE properTY (B) hOlds For $c$. By the Cramer’s rULe APplied to the sysTem of tWo LInEAR eqUatIons $$\begin{aLiGned}
a_{I,X}x + a_{i,y}y & = b_{I} \\
A_{j,X}X + A_{J,y}y & = B_{J}\end{aligned}$$ whIch, as in propERty (B), definE tHe lINes thaT contAiN NonParallel segMentS $c_i, c_j$, we haVe that THe interSEction pOint of $C_{i}$ aNd $c_{J}$ has RAtIoNal CoORdiNAtEs wHOse DenominaToRs Do not ExceED $$\BEGin{aLigNed}
\lEft|
\deT \begin{bmatrix}
 A_{i,x}  & A_{i,y} \\
 a_{J,X} & a_{j,Y} \\
\end{bMatriX} \rigHt|  \Le 2K^2.\enD{alignEd}$$

ThiS mEans that coordinAtes Of the inteRseCtIon PoInt of TWo nonpAraLleL line seGments $c_{I}$, $C_{j}$ oF $c$ ARE InTeger multiples of $\tfRaC{1}{ (2k^2)!}$ AnD the case When thE PrOpERty (b) holdS fOr $c$ Is reDUCed to The cASe When the pRopertY (A) hOlDs for $c$ wItH $K' =  (2K^2)!$.

It rEmAinS to Show tHE lasT claim Of CorollAry \[coR3\]. the case when $q$ is A Closed path in tHE tESSeLLatiOn ${\mAthcal{T}}_6$ of thE plaNE $\matHbb R^2$ INtO reGUlar hExagoNs OF uNIt area can be obviouslY rEduced To the Case when $q$ is a cLosed path iN THE tessellAtioN ${\
A(t)$ of $t$, we can see t hat $A(t)$  is a n i nte ge r mu ltip le of $\tfrac{ 1} { 2K^2}$. Since $A(c)$ i s the  s u m of ar eas o f trian g le s suc has  $t $d is cusse d a bove, i t followstha t$A(c)$ is al s oan integer  mu ltiple of $\ tfr ac {1}  { 2K^ 2 }$. T aki ng $n $ so t h at $$\ begin{ali gn e d}
\la b el{qq8a } |c |_{{ \mathcal{T}}}^n > 4K ^ 2,\end{aligned }$$ we  s e et h atThe orem \[thm 6\ ] app l ies wit h  $ L =  2K ^ 2$ and yields  the desire d  co nclusi on .
S uppose  that  t h e p roperty (b)  hol ds for $c $. Byt he Cram e r’s rul e appl ied  to  the sy st emof two li nea r  eq uations$$ \b egin{ alig n e d } 
a_{ i,x }x +  a_{i ,y}y & = b_{i } \ \
a_ { j,x }x +a_{j, y}y&= b_{ j}\end {alig ne d}$$ which, asin p roperty ( b),  d efi ne  thel ines t hat  co ntain n onparal l else g m e nt s $c_i, c_j$, we h av e th at the i nterse c ti on point of  $ c_{ i}$a n d $c_ {j}$ ha s ration al coo r di na tes who se  denom in ato rsdo no t  exc eed $$ \begin{a ligne d }
\left|
\det\ begin{bmatrix } 
a _ {i , x} & a _{i,y} \\
a_{j , x} &  a_{ j ,y } \ \ 
\end {bmat ri x }\ right|  \le 2K^2.\e nd {align ed}$$ 

This meansthat coord i n a tes of t he i n te r section pointof tw o nonparal l el linesegme nts $c_{ i}$, $c_{ j } $ of $c$  ar e i nte ger m ul tiples of $\t f r ac{1 }{  (2K^2) !}$  and th e c ase  wh enth e propert y (b) ho ld sfo r$c$  is r e duced to  t heca sewhent he pro perty  (a)  h ol d s f or $c$w it h $K'= ( 2K^2 )!$ .
It r emai n s t o showthe lastcla i m of  C or ollary\[cor3\]. The  c ase when $ q$  is  a clo s e d path i n the tessellation ${\m a thcal{T }}_ 6$ of  the  plane $\ mat hbb R^ 2$i nto re gularhexag on s o f unita r ea  ca nbe obvious l y  re duced  t o th e casewhen $q$ is a clos e d p ath in the te sse llat i o n${\ 
A(t)$ of_$t$, we_can see that $A(t)$_is an_integer_multiple of_$\tfrac_{1} {2K^2}$. Since_$A(c)$ is the_sum of areas of_triangles such as_$t$_discussed above, it follows that $A(c)$ is also an integer multiple of $\tfrac {1}_{2K^2}$._Taking $n$_so_that_$$\begin{aligned}
\label{qq8a}
|c|_{{\mathcal{T}}}^n > 4K^2,\end{aligned}$$ we see_that Theorem \[thm6\] applies with $L_= 2K^2$_and yields the desired conclusion.

Suppose that the property_(b)_holds for $c$._By the Cramer’s rule applied to the system of_two linear equations $$\begin{aligned}
a_{i,x}x + a_{i,y}y_& = b_{i}_\\
a_{j,x}x_+_a_{j,y}y & = b_{j}\end{aligned}$$_which, as in property (b), define_the lines that contain nonparallel segments_$c_i, c_j$, we have that the intersection_point of $c_{i}$ and $c_{j}$ has_rational coordinates whose denominators do_not exceed_$$\begin{aligned}
\left|
\det \begin{bmatrix}
 a_{i,x}  &_a_{i,y} \\
 a_{j,x}_& a_{j,y}_\\
\end{bmatrix} \right| _\le 2K^2.\end{aligned}$$

This means that coordinates of_the intersection point_of two nonparallel line segments $c_{i}$,_$c_{j}$_of $c$ are_integer_multiples_of $\tfrac{1}{_(2K^2)!}$ and the_case_when the_property_(b) holds for $c$ is reduced_to_the case when the property (a) holds_for $c$ with $K'_=_ (2K^2)!$.

It remains to_show the last claim of_Corollary \[cor3\]. The case when $q$ is_a closed_path in_the tessellation ${\mathcal{T}}_6$ of the plane $\mathbb R^2$ into regular hexagons_of unit area can be obviously_reduced to the case_when $q$_is_a closed path_in_the tessellation_${\