_1, a_2 \in A$. If $a_1 a_2$ is an edge, then $v_1 a_1 a_2 v_2 v_3 \cdots v_{r-1} v_1$ forms a cycle of length $r+1$. Now if $a_1 a_2$ is a non-edge, then adding $a_1 a_2$ would create a copy of $K_r$ (because it must create a copy of $B_{r,r}$, but $a_1 a_2$ could not become the middle edge in the created copy of $B_{r,r}$ due to the fact that $a_1$ is not in a copy of $K_r$ in $G$). Note that $a_1$ and $a_2$ cannot have a common neighbor in $T$, so they must have a common neighbor $x \not \in T$, which implies that $v_1 a_1 x a_2 v_2 \cdots v_{r-2}$ forms a cycle of length $r+1$ in $G$.\
Since all the cases either find a cycle of length $r+1$ or give contradictions, we are done.

\[excess\] For $r = 2$ and $r = 3$, we have $\operatorname{sat}(n, C_{r+1}, B_{r,r}) = 0$ for all $n \ge 2r$.

In Lemma \[si\], we have already seen that $\operatorname{sat}(n, C_{r+1}, B_{r,r}) = 0$ when $n$ is divisible by $r$. So, we have to prove Proposition \[excess\] when $n$ is not divisible by $r$.

The graph $B_{2,2}$ is the path with 3 edges, i.e., $P_3$. A graph which is a disjoint union of $P_2$’s and $P_1$’s is always $P_3$-saturated. If $n \ge 4$ is odd, then the graph consisting of the disjoint union of a copy of $P_2$ and $\frac{n-3}{2}$ many copies of $P_1$ is a $P_3$-saturated graph with no copy of $C_3$. So, we have $\
_ 1, a_2 \in A$. If $ a_1 a_2 $ is an edge, then $ v_1 a_1 a_2 v_2 v_3 \cdots v_{r-1 } v_1 $ forms a cycle of length $ r+1$. nowadays if $ a_1 a_2 $ is a non - boundary, then adding $ a_1 a_2 $ would create a transcript of $ K_r$ (because it must create a transcript of $ B_{r, r}$, but $ a_1 a_2 $ could not become the middle edge in the create transcript of $ B_{r, r}$ due to the fact that $ a_1 $ is not in a copy of $ K_r$ in $ G$). Note that $ a_1 $ and $ a_2 $ cannot have a common neighbor in $ T$, so they must have a coarse neighbor $ x \not \in T$, which implies that $ v_1 a_1 x a_2 v_2 \cdots v_{r-2}$ imprint a hertz of length $ r+1 $ in $ G$.\ 
 Since all the cases either find a cycle of length $ r+1 $ or move over contradictions, we are done. 

 \[excess\ ] For $ r = 2 $ and $ radius = 3 $, we have $ \operatorname{sat}(n, C_{r+1 }, B_{r, r }) = 0 $ for all $ n \ge 2r$. 

 In Lemma \[si\ ], we have already see that $ \operatorname{sat}(n, C_{r+1 }, B_{r, r }) = 0 $ when $ n$ is divisible by $ r$. So, we have to prove Proposition \[excess\ ] when $ n$ is not divisible by $ r$. 

 The graph $ B_{2,2}$ is the path with 3 boundary, i.e., $ P_3$. A graph which is a disjoint union of $ P_2 $ ’s and $ P_1 $ ’s is always $ P_3$-saturated. If $ n \ge 4 $ is odd, then the graph consisting of the disjoint union of a transcript of $ P_2 $ and $ \frac{n-3}{2}$ many transcript of $ P_1 $ is a $ P_3$-saturated graph with no copy of $ C_3$. So, we have $ \
_1, a_2 \ln A$. If $a_1 a_2$ is an edge, tmen $v_1 a_1 a_2 v_2 v_3 \cdots v_{r-1} t_1$ forms a cycle of length $r+1$. Now if $a_1 a_2$ is a nin-edgt, then adding $a_1 a_2$ wuuld creane a copy of $J_e$ (because mf must gxeate w co'y of $B_{r,r}$, but $a_1 s_2$ could nod become the mhdalz edge in the created copy of $B_{r,r}$ duq to thr vact that $a_1$ is not yn a boky of $K_r$ in $G$). Note that $a_1$ and $a_2$ cznnot heve a common neoghbor in $T$, so they must hwve w common neighbor $d \not \in T$, qhicr implies thag $v_1 a_1 x a_2 n_2 \cdots v_{r-2}$ rorms a cycle of length $r+1$ in $G$.\
Sknce cll the casgs eljher find a rycle jf length $r+1$ or give wontradoctions, we are doie.

\[exxess\] For $r = 2$ and $r = 3$, xe have $\operatorname{fat}(n, C_{r+1}, B_{s,r}) = 0$ for all $n \ge 2r$.

Un Lemmd \[si\], we fqve aldeedy seen hhav $\operatornzme{sat}(n, C_{r+1}, V_{r,r}) = 0$ when $n$ is divosyvle by $r$. So, ws have tj prove Proposition \[excess\] when $n$ is nou divjsible by $r$.

The graph $B_{2,2}$ us the path with 3 edggs, i.e., $P_3$. A draph which is a disjoint union of $P_2$’s and $P_1$’s is anways $O_3$-sauuvwgwd. If $n \ge 4$ is odd, then the graph consisting of fht dpsjoint union of c copy of $P_2$ and $\grwc{m-3}{2}$ many copies uf $P_1$ is a $P_3$-saturated graph aith no copy of $C_3$. So, re hsve $\
_1, a_2 \in A$. If $a_1 a_2$ edge, $v_1 a_1 v_2 v_3 \cdots of $r+1$. Now if a_2$ is a then adding $a_1 a_2$ would create copy of $K_r$ (because it must create a copy of $B_{r,r}$, but $a_1 could not become the middle edge in the created copy of $B_{r,r}$ due the that is in a copy of $K_r$ in $G$). Note that $a_1$ and $a_2$ cannot have a common in $T$, so they must have a common $x \not \in T$, implies that $v_1 a_1 x v_2 v_{r-2}$ forms cycle length in $G$.\ Since the cases either find a cycle of length $r+1$ or give contradictions, we are done. \[excess\] For = 2$ = 3$, have C_{r+1}, = 0$ for \ge 2r$. In Lemma \[si\], we that $\operatorname{sat}(n, C_{r+1}, B_{r,r}) = 0$ when $n$ divisible by So, we have to prove Proposition when $n$ is not divisible by $r$. The $B_{2,2}$ is the path with 3 edges, i.e., $P_3$. A graph which is a disjoint $P_2$’s and $P_1$’s is $P_3$-saturated. If $n 4$ odd, the consisting of disjoint union of a copy of $P_2$ and $\frac{n-3}{2}$ many copies $P_1$ is a $P_3$-saturated graph with no copy of $C_3$. have
_1, a_2 \in A$. If $a_1 a_2$ is an edge, then $v_1 a_1 a_2 v_2 v_3 \Cdots v_{r-1} v_1$ foRms a cYclE of LeNgth $R+1$. Now If $a_1 a_2$ is a non-edge, THen aDding $a_1 a_2$ would create a copY of $K_r$ (BeCAuse IT mUst crEate a coPY oF $b_{R,r}$, bUt $A_1 a_2$ CouLd NOt BecomE thE middle Edge in the cReaTeD copy of $B_{r,r}$ duE To The fact thaT $a_1$ iS not in a copy oF $K_r$ In $G$). NotE tHat $A_1$ And $a_2$ cAnnOt havE a commON neighBor in $T$, so tHeY Must haVE a commoN NEiGhboR $x \not \in T$, which implIEs THat $v_1 a_1 x a_2 v_2 \cdots v_{R-2}$ forms A cYClE OF leNgtH $r+1$ in $G$.\
Since AlL the cASes eithER fIND A cyCLe of length $r+1$ or Give contradICtiOns, we aRe DonE.

\[Excess\] for $r = 2$ aNd $R = 3$, We hAve $\operatorName{Sat}(n, C_{r+1}, B_{r,r}) = 0$ For all $N \Ge 2r$.

In LeMMa \[si\], we hAve alrEadY seEn thAT $\oPeRatOrNAme{SAt}(N, C_{r+1}, b_{R,r}) = 0$ wHen $n$ is diViSiBle by $R$. So, wE HAVE to pRovE ProPositIon \[excess\] when $N$ is Not dIVisIble bY $r$.

The GrapH $B_{2,2}$ Is the Path wiTh 3 edgEs, I.e., $P_3$. A graph which iS a diSjoint uniOn oF $P_2$’S anD $P_1$’S is alWAys $P_3$-saTurAteD. If $n \ge 4$ iS odd, theN The GrAPH CoNsisting of the disjoInT UNiOn of a copY of $P_2$ anD $\FrAc{N-3}{2}$ Many copiEs Of $P_1$ Is a $P_3$-SATuratEd grAPh With no coPy of $C_3$. SO, We HaVe $\
_1, a_2 \in A$. If $a_1 a_ 2$ is an e dge,the n $ v_ 1 a_ 1 a_ 2 v_2 v_3 \cdo t s v_ {r-1} v_1$ forms a cyc le of  l e ngth $r +1$.Now if$ a_ 1 a_2 $is  ano n -e dge,the n addin g $a_1 a_2 $ w ou ld create ac op y of $K_r$  (b ecause it mu stcreate  a  co p y of$B_ {r,r} $, but $a_1 a _2$ could  n o t beco m e the m i d dl e ed ge in the created co p y of $B_{r,r}$  due t ot he f act  th at $a_1$ i snot i n  a copy of $ K _r$ in $G$). Note  that $a_1$ and  $a_2$  c ann o t have  a co mm o n n eighbor in$T$,  so theymust h a ve a co m mon nei ghbor$x\no t \i n  T $,  wh ic h  im p li est hat  $v_1 a_ 1xa_2 v _2 \ c d o t s v_ {r- 2}$forms  a cycle of l eng th $ r +1$  in $ G$.\Sinc eall t he cas es ei th er find a cycle  oflength $r +1$  o r g iv e con t radict ion s,we aredone.
\ [ex ce s s \ ]For $r = 2$ and $r  = 3 $,  we have  $\ope r at or n ame{sat} (n , C _{r+ 1 } , B_{ r,r} )  =  0$ forall $n \g e2r$.

I nLemma\[ si\ ],we ha v e al readyseen tha t $\o p eratorname{sat } (n, C_{r+1},B _{ r , r} )  = 0 $ w hen $n$ isdivi s ible  by$ r$ . S o , wehaveto pr o ve Proposition \[ex ce ss\] w hen $ n$ is not div isible by$ r $ .

The g raph $B _ {2,2}$ is thepathwith 3 edg e s, i.e.,  $P_3 $. A gra ph whichi s  a disjo int  un ion  of $ P_ 2$’s and $P_1 $ ’ s is  a lways $ P_3 $-satur ate d.If$n\g e 4$ is o dd, then  t he  g ra phconsi s ting ofth e d is joi nt un i on ofa cop y of  $ P_ 2 $ a nd $\fr a c{ n - 3}{2 }$  m anycop ie s of$P_1 $  is  a $P_3 $-saturat edg raph  w it h no co py of $C_3$.So , we have$\ 
_1, a_2_\in A$._If $a_1 a_2$ is_an edge,_then_$v_1 a_1_a_2_v_2 v_3 \cdots_v_{r-1} v_1$ forms_a cycle of length_$r+1$. Now if_$a_1_a_2$ is a non-edge, then adding $a_1 a_2$ would create a copy of $K_r$_(because_it must_create_a_copy of $B_{r,r}$, but $a_1_a_2$ could not become the_middle edge_in the created copy of $B_{r,r}$ due to_the_fact that $a_1$_is not in a copy of $K_r$ in $G$)._Note that $a_1$ and $a_2$ cannot_have a common_neighbor_in_$T$, so they must_have a common neighbor $x \not_\in T$, which implies that $v_1_a_1 x a_2 v_2 \cdots v_{r-2}$ forms_a cycle of length $r+1$ in_$G$.\
Since all the cases either_find a_cycle of length $r+1$ or_give contradictions, we_are done.

\[excess\]_For $r =_2$ and $r = 3$, we_have $\operatorname{sat}(n, C_{r+1},_B_{r,r}) = 0$ for all $n_\ge_2r$.

In Lemma \[si\],_we_have_already seen_that $\operatorname{sat}(n, C_{r+1},_B_{r,r})_= 0$_when_$n$ is divisible by $r$. So,_we_have to prove Proposition \[excess\] when $n$_is not divisible by_$r$.

The_graph $B_{2,2}$ is the_path with 3 edges, i.e.,_$P_3$. A graph which is a_disjoint union_of $P_2$’s_and $P_1$’s is always $P_3$-saturated. If $n \ge 4$ is odd,_then the graph consisting of the_disjoint union of a_copy of_$P_2$_and $\frac{n-3}{2}$ many_copies_of $P_1$_is a $P_3$-saturated graph with no copy_of $C_3$._So, we have $\