) –(-2.8,1.6) node \[left\] [ ]{}; (-1.5,1.7) –(-2.8,1.7); (-1.8,1.8) –(-2.8,1.8) node \[left\] [ ]{};

  --------- ----------------------- -- -----------------
    $\circ$ Elements in $S_{i,j}$      Elements in $S$
  --------- ----------------------- -- -----------------

We are now ready to prove Conjecture \[conjD\].

We have $g(T)=g(\cX)$ and in particular $H(P)=T.$

Proposition \[prop:contained\] implies that $g(T) \ge g(\cX)$. Hence the theorem follows once we show that $g(T) \le g(\cX)$. However, using the first two items of Lemma \[lem:sij\], we see that $$g(T) \le g(S)-\sum_{i=0}^{q-1}\sum_{j=1}^{q-1}|S_{i,j}|.$$ Using Lemma \[genusS\] and item three of Lemma \[lem:sij\] we obtain $$\begin{aligned}
g(T) &\leq  \frac{q^6-q^4}{2} -\sum_{i=0}^{q-1} \sum_{j=1}^{q-1} q(q^3-q+1-jq^2+i)\\
  &=  \frac{q^6-q^4}{2} -\sum_{i=0}^{q-1} \sum_{j=1}^{q-1} q(q^3-q+1) +\sum_{i=0}^{q-1} \sum_{j=1}^{q-1}jq^3-\sum_{i=0}^{q-1} \sum_{j=1}^{q-1}iq\\
 &=  \frac{q^6-q^4}{2}-q^2(q-1)(q^3-q+1)+\frac{q^5(q-1)}{2}-\frac{q^2(q-1)^2}{2}=\frac{q^5-2q^3+q^2}{2}=g(\cX).\end{aligned}$$

A direct consequence of the above theorem is that $H
) – (-2.8,1.6) node \[left\ ] [ ] { }; (-1.5,1.7) – (-2.8,1.7); (-1.8,1.8) – (-2.8,1.8) node \[left\ ] [ ] { }; 

   --------- ----------------------- -- ----------------- 
     $ \circ$ Elements in $ S_{i, j}$       Elements in $ S$ 
   --------- ----------------------- -- ----------------- 

 We are now ready to rise Conjecture \[conjD\ ]. 

 We take $ g(T)=g(\cX)$ and in particular $ H(P)=T.$ 

 Proposition \[prop: contained\ ] implies that $ g(T) \ge g(\cX)$. Hence the theorem postdate once we show that $ g(T) \le g(\cX)$. However, using the beginning two detail of Lemma \[lem: sij\ ], we see that $ $ g(T) \le g(S)-\sum_{i=0}^{q-1}\sum_{j=1}^{q-1}|S_{i, j}|.$$ use Lemma \[genusS\ ] and item three of Lemma \[lem: sij\ ] we obtain $ $ \begin{aligned } 
 g(T) & \leq   \frac{q^6 - q^4}{2 } -\sum_{i=0}^{q-1 } \sum_{j=1}^{q-1 } q(q^3 - q+1 - jq^2+i)\\ 
   & =   \frac{q^6 - q^4}{2 } -\sum_{i=0}^{q-1 } \sum_{j=1}^{q-1 } q(q^3 - q+1) + \sum_{i=0}^{q-1 } \sum_{j=1}^{q-1}jq^3-\sum_{i=0}^{q-1 } \sum_{j=1}^{q-1}iq\\ 
  & =   \frac{q^6 - q^4}{2}-q^2(q-1)(q^3 - q+1)+\frac{q^5(q-1)}{2}-\frac{q^2(q-1)^2}{2}=\frac{q^5 - 2q^3+q^2}{2}=g(\cX).\end{aligned}$$ 

 A lineal consequence of the above theorem is that $ H
) –(-2.8,1.6) nlde \[left\] [ ]{}; (-1.5,1.7) –(-2.8,1.7); (-1.8,1.8) –(-2.8,1.8) node \[left\] [ ]{};

  --------- ----------------------- -- -----------------
    $\circ$ Elemenvs in $S_{j,j}$      Dlements in $S$
  --------- ----------------------- -- -----------------

We are now rwady uj prove Conjecture \[conjD\].

We jave $g(T)=g(\xX)$ aid in particular $H(P)=T.$

Propositioh \[pro':cintained\] impligs that $g(T) \ga g(\cX)$. Hence tha ghzorem follows once we show that $g(T) \lq g(\cX)$. Hpwfver, using the firxe twk items of Lemma \[lem:sij\], we see thaf $$g(T) \le g(S)-\sum_{i=0}^{q-1}\sum_{j=1}^{q-1}|X_{i,j}|.$$ Using Lemma \[genusS\] and itel three of Lemma \[lfm:sij\] we objzin $$\vegin{aligned}
e(T) &\leq  \frac{q^6-q^4}{2} -\sum_{i=0}^{q-1} \som_{j=1}^{q-1} q(q^3-q+1-jq^2+i)\\
  &=  \frac{q^6-q^4}{2} -\sum_{i=0}^{q-1} \sum_{j=1}^{d-1} q(q^3-q+1) +\sum_{i=0}^{q-1} \sum_{h=1}^{q-1}hq^3-\skk_{i=0}^{q-1} \sum_{j=1}^{q-1}iq\\
 &=  \frwc{q^6-q^4}{2}-q^2(q-1)(q^3-q+1)+\frac{q^5(q-1)}{2}-\frac{q^2(q-1)^2}{2}=\xrac{q^5-2q^3+q^2}{2}=b(\cX).\end{aligned}$$

A dicect consequence of the auove theorem is that $H
) –(-2.8,1.6) node \[left\] [ ]{}; (-1.5,1.7) –(-2.8,1.8) \[left\] [ --------- ----------------------- -- Elements $S$ --------- ----------------------- ----------------- We are ready to prove Conjecture \[conjD\]. We $g(T)=g(\cX)$ and in particular $H(P)=T.$ Proposition \[prop:contained\] implies that $g(T) \ge g(\cX)$. Hence theorem follows once we show that $g(T) \le g(\cX)$. However, using the first items Lemma we that $$g(T) \le g(S)-\sum_{i=0}^{q-1}\sum_{j=1}^{q-1}|S_{i,j}|.$$ Using Lemma \[genusS\] and item three of Lemma \[lem:sij\] we obtain $$\begin{aligned} &\leq \frac{q^6-q^4}{2} -\sum_{i=0}^{q-1} \sum_{j=1}^{q-1} q(q^3-q+1-jq^2+i)\\ &= \frac{q^6-q^4}{2} -\sum_{i=0}^{q-1} q(q^3-q+1) +\sum_{i=0}^{q-1} \sum_{j=1}^{q-1}jq^3-\sum_{i=0}^{q-1} \sum_{j=1}^{q-1}iq\\ \frac{q^6-q^4}{2}-q^2(q-1)(q^3-q+1)+\frac{q^5(q-1)}{2}-\frac{q^2(q-1)^2}{2}=\frac{q^5-2q^3+q^2}{2}=g(\cX).\end{aligned}$$ A direct consequence of above is that
) –(-2.8,1.6) node \[left\] [ ]{}; (-1.5,1.7) –(-2.8,1.7); (-1.8,1.8) –(-2.8,1.8) node \[left\] [ ]{};

  --------- ----------------------- -- -----------------
    $\circ$ ElemeNts in $S_{i,j}$      ElEmentS in $s$
  --------- ----------------------- -- -----------------

We ArE now ReadY to prove ConjecTUre \[cOnjD\].

We have $g(T)=g(\cX)$ and in paRticuLaR $h(P)=T.$

PROpOsitiOn \[prop:cONtAINed\] ImPlIes ThAT $g(t) \ge g(\cx)$. HeNce the tHeorem follOws OnCe we show that $G(t) \lE g(\cX)$. HoweveR, usIng the first tWo iTems of leMma \[LEm:sij\], We sEe thaT $$g(T) \le g(s)-\Sum_{i=0}^{q-1}\sUm_{j=1}^{q-1}|S_{i,j}|.$$ UsInG lemma \[gENusS\] and ITEm ThreE of Lemma \[lem:sij\] we oBTaIN $$\begin{aligned}
g(t) &\leq  \frAc{Q^6-Q^4}{2} -\sUM_{I=0}^{q-1} \sUm_{j=1}^{Q-1} q(q^3-q+1-jq^2+i)\\
  &=  \fraC{q^6-Q^4}{2} -\sum_{i=0}^{Q-1} \Sum_{j=1}^{q-1} q(q^3-Q+1) +\SuM_{I=0}^{Q-1} \Sum_{J=1}^{Q-1}jq^3-\sum_{i=0}^{q-1} \sum_{j=1}^{q-1}Iq\\
 &=  \frac{q^6-q^4}{2}-q^2(q-1)(q^3-Q+1)+\FraC{q^5(q-1)}{2}-\fraC{q^2(Q-1)^2}{2}=\frAC{q^5-2q^3+q^2}{2}=g(\cx).\end{aLiGNed}$$

a direct consEqueNce of the aBove thEOrem is tHAt $H
) –(-2.8,1.6) node \[left\ ] [ ]{}; ( -1.5, 1.7 ) – (- 2.8, 1.7) ; (-1.8,1.8) – ( -2.8 ,1.8) node \[left\] []{};
---- - -- -- -- ------- - -- - - --- -- -- ---- -- ----- --- ------- 
    $\cir c$El ements in $S _ {i ,j}$     Ele ments in $S$ 
 ------ -- - - - ----- --- ----- ------ - - -- - --------- -- - ----
W e are n o w  r eady  to prove Conject u re \[conjD\].

We  have$g ( T) = g (\c X)$  and in pa rt icula r  $H(P)= T .$ P rop o sition \[prop :contained\ ]  im pliesth at$ g(T) \ ge g( \c X )$.  Hence thetheo rem follo ws onc e  we sho w  that $ g(T) \ leg(\ cX)$ .  H ow eve r, usi n gthe fir st two i te ms  of L emma \ [ l em:s ij\ ], w e see  that $$g(T)\le  g(S ) -\s um_{i =0}^{ q-1} \s um_{j =1}^{q -1}|S _{ i,j}|.$$ UsingLemm a \[genus S\]  a ndit em th r ee ofLem ma\[lem:s ij\] we obt ai n $ $\ begin{aligned}
g(T )& \ le q  \frac {q^6-q ^ 4} {2 }  -\sum_{ i= 0}^ {q-1 } \sum_ {j=1 } ^{ q-1} q(q ^3-q+1 - jq ^2 +i)\\
 & =  \fr ac {q^ 6-q ^4}{2 }  -\s um_{i= 0}^{q-1}  \sum _ {j=1}^{q-1} q( q ^3-q+1) +\sum _ {i = 0 }^ { q-1}  \s um_{j=1}^{q -1}j q ^3-\ sum_ { i= 0}^ { q-1}\sum_ {j = 1} ^ {q-1}iq\\
 &=  \fra c{ q^6-q^ 4}{2} -q^2(q-1)(q^3 -q+1)+\fra c { q ^5(q-1)} {2}- \ fr a c{q^2(q-1)^2}{ 2}=\f rac{q^5-2q ^ 3+q^2}{2 }=g(\ cX).\end {aligned} $ $ 

A dire ctcon seq uen c e  o f the above t h e orem  i s that$H
) –(-2.8,1.6)_node \[left\]_[ ]{}; (-1.5,1.7) –(-2.8,1.7);_(-1.8,1.8) –(-2.8,1.8)_node_\[left\] [_]{};

_ --------- -----------------------_-- -----------------
 _  $\circ$ Elements_in $S_{i,j}$ __   Elements in $S$
  --------- ----------------------- -- -----------------

We are now ready_to_prove Conjecture_\[conjD\].

We_have_$g(T)=g(\cX)$ and in particular $H(P)=T.$

Proposition_\[prop:contained\] implies that $g(T) \ge_g(\cX)$. Hence_the theorem follows once we show that $g(T)_\le_g(\cX)$. However, using_the first two items of Lemma \[lem:sij\], we see_that $$g(T) \le g(S)-\sum_{i=0}^{q-1}\sum_{j=1}^{q-1}|S_{i,j}|.$$ Using Lemma_\[genusS\] and item_three_of_Lemma \[lem:sij\] we obtain_$$\begin{aligned}
g(T) &\leq  \frac{q^6-q^4}{2} -\sum_{i=0}^{q-1} \sum_{j=1}^{q-1}_q(q^3-q+1-jq^2+i)\\
  &=  \frac{q^6-q^4}{2} -\sum_{i=0}^{q-1}_\sum_{j=1}^{q-1} q(q^3-q+1) +\sum_{i=0}^{q-1} \sum_{j=1}^{q-1}jq^3-\sum_{i=0}^{q-1} \sum_{j=1}^{q-1}iq\\
 &= _\frac{q^6-q^4}{2}-q^2(q-1)(q^3-q+1)+\frac{q^5(q-1)}{2}-\frac{q^2(q-1)^2}{2}=\frac{q^5-2q^3+q^2}{2}=g(\cX).\end{aligned}$$

A direct consequence of the above_theorem is that $H