}_{j,0})$. Suppose we have a dominant ${\mathcal{Y}}_t$-monomial $m_0=m_1m_2$ in $F_t(\tilde{Y}_{i,0})F_t(\tilde{Y}_{j,0})$ different from the highest weight ${\mathcal{Y}}_t$-monomial $\tilde{Y}_{i,0}\tilde{Y}_{j,0}$. We have for example $m_1\neq \tilde{Y}_{i,0}$, so $m_1$ is right negative. Let $l_1$ be the maximal $l$ such that a $\tilde{Y}_{k,l}$ appears in $m_1$. We have $u_{k,l}(m_1)<0$ and $l>0$. As $u_{k,l}(m_0)\geq 0$ we have $u_{k,l}(m_2)>0$ and $m_2\neq {Y}_{j,0}$. So $m_2$ is right negative and there is $k'\in I$ and $l'>l$ such that $u_{k',l'}(m_2)<0$. So $u_{k',l'}(m_1)>0$, contradiction. So the highest weight ${\mathcal{Y}}_t$-monomial of $F_t(\tilde{Y}_{i,0})F_t(\tilde{Y}_{j,0})$ is the unique dominant ${\mathcal{Y}}_t$-monomial. In the same way the highest weight ${\mathcal{Y}}_t$-monomial of $F_t(\tilde{Y}_{j,0})F_t(\tilde{Y}_{i,0})$ is the unique dominant ${\mathcal{Y}}_t$-monomial. But we have $\tilde{Y}_{i,0}\tilde{Y}_{j,0}=\tilde{Y}_{j,0}\tilde{Y}_{i,0}$, so $F_t(\tilde{Y}_{i,0})F_t(\tilde{Y}_{j,0})-F_t(\tilde{Y}_{j,0})F_t(\tilde{Y}_{i,0})\in\mathfrak{K}_t^{\infty}$ has no dominant ${\mathcal{Y}}_t$-monomial, so is equal to $0$.

Denote, for $l\in{\mathbb{Z}}$, by $s_
} _ { j,0})$. Suppose we have a dominant $ { \mathcal{Y}}_t$-monomial $ m_0 = m_1m_2 $ in $ F_t(\tilde{Y}_{i,0})F_t(\tilde{Y}_{j,0})$ different from the eminent system of weights $ { \mathcal{Y}}_t$-monomial $ \tilde{Y}_{i,0}\tilde{Y}_{j,0}$. We have for example $ m_1\neq \tilde{Y}_{i,0}$, so $ m_1 $ is mighty negative. Let $ l_1 $ be the maximal $ l$ such that a $ \tilde{Y}_{k, l}$ appear in $ m_1$. We give birth $ u_{k, l}(m_1)<0 $ and $ l>0$. As $ u_{k, l}(m_0)\geq 0 $ we have $ u_{k, l}(m_2)>0 $ and $ m_2\neq { Y}_{j,0}$. So $ m_2 $ is right negative and there be $ k'\in I$ and $ l'>l$ such that $ u_{k',l'}(m_2)<0$. So $ u_{k',l'}(m_1)>0 $, contradiction. So the gamey system of weights $ { \mathcal{Y}}_t$-monomial of $ F_t(\tilde{Y}_{i,0})F_t(\tilde{Y}_{j,0})$ is the unique dominant $ { \mathcal{Y}}_t$-monomial. In the same way the highest system of weights $ { \mathcal{Y}}_t$-monomial of $ F_t(\tilde{Y}_{j,0})F_t(\tilde{Y}_{i,0})$ is the unique dominant $ { \mathcal{Y}}_t$-monomial. But we have $ \tilde{Y}_{i,0}\tilde{Y}_{j,0}=\tilde{Y}_{j,0}\tilde{Y}_{i,0}$, indeed $ F_t(\tilde{Y}_{i,0})F_t(\tilde{Y}_{j,0})-F_t(\tilde{Y}_{j,0})F_t(\tilde{Y}_{i,0})\in\mathfrak{K}_t^{\infty}$ has no dominant $ { \mathcal{Y}}_t$-monomial, so is equal to $ 0$. 

 Denote, for $ l\in{\mathbb{Z}}$, by $ second _
}_{j,0})$. Skppose we have a dominanu ${\mathcal{Y}}_t$-monomico $m_0=m_1m_2$ mn $F_t(\timde{Y}_{i,0})F_t(\tklde{Y}_{j,0})$ different from the hijhesr weitht ${\mathcal{Y}}_t$-monomial $\gilde{Y}_{i,0}\tipde{Y}_{j,0}$. We havt for example $m_1\neq \tilde{Y}_{l,0}$, so $j_1$ is xijht negative. Lej $l_1$ be the mdximal $l$ such dhxt a $\tilde{Y}_{k,l}$ appears in $m_1$. We have $u_{k,j}(m_1)<0$ and $k>0$. Ws $u_{k,l}(m_0)\geq 0$ we havt $u_{h,l}(m_2)>0$ znd $m_2\neq {Y}_{j,0}$. So $m_2$ is right negative and thtre is $k'\in I$ and $l'>k$ such that $u_{k',l'}(m_2)<0$. So $u_{k',l'}(m_1)>0$, clntrwdiction. So the hihhest weighj ${\maeycal{Y}}_t$-monomixl of $F_t(\tilde{Y}_{i,0})F_t(\tilde{I}_{j,0})$ is the unique dominant ${\mathcau{Y}}_t$-mouomial. In tye salg way the hijhest reight ${\mathcal{Y}}_t$-monokial of $F_t(\tilde{Y}_{j,0})F_t(\tikde{B}_{i,0})$ iw the unique dominant ${\mathcal{Y}}_t$-monomial. But we hdvz $\tilde{Y}_{i,0}\tilde{Y}_{j,0}=\tilde{T}_{j,0}\rilde{I}_{i,0}$, so $F_t(\tkode{H}_{i,0})F_u(\tikds{Y}_{j,0})-F_t(\tlldx{Y}_{j,0})F_t(\tilde{Y}_{j,0})\in\mathfrak{J}_t^{\infty}$ has no domimagn ${\mathcal{Y}}_t$-mohomial, sj is equal to $0$.

Denote, for $l\in{\mathbb{Z}}$, by $v_
}_{j,0})$. Suppose we have a dominant ${\mathcal{Y}}_t$-monomial $F_t(\tilde{Y}_{i,0})F_t(\tilde{Y}_{j,0})$ from the weight ${\mathcal{Y}}_t$-monomial $\tilde{Y}_{i,0}\tilde{Y}_{j,0}$. \tilde{Y}_{i,0}$, $m_1$ is right Let $l_1$ be maximal $l$ such that a $\tilde{Y}_{k,l}$ in $m_1$. We have $u_{k,l}(m_1)<0$ and $l>0$. As $u_{k,l}(m_0)\geq 0$ we have $u_{k,l}(m_2)>0$ $m_2\neq {Y}_{j,0}$. So $m_2$ is right negative and there is $k'\in I$ and such $u_{k',l'}(m_2)<0$. $u_{k',l'}(m_1)>0$, So the highest weight ${\mathcal{Y}}_t$-monomial of $F_t(\tilde{Y}_{i,0})F_t(\tilde{Y}_{j,0})$ is the unique dominant ${\mathcal{Y}}_t$-monomial. In the same way highest weight ${\mathcal{Y}}_t$-monomial of $F_t(\tilde{Y}_{j,0})F_t(\tilde{Y}_{i,0})$ is the unique ${\mathcal{Y}}_t$-monomial. But we have so $F_t(\tilde{Y}_{i,0})F_t(\tilde{Y}_{j,0})-F_t(\tilde{Y}_{j,0})F_t(\tilde{Y}_{i,0})\in\mathfrak{K}_t^{\infty}$ has no dominant so equal to Denote, $l\in{\mathbb{Z}}$, $s_
}_{j,0})$. Suppose we have a dominant ${\maThcal{Y}}_t$-monOmial $M_0=m_1m_2$ In $F_T(\tIlde{y}_{i,0})F_t(\Tilde{Y}_{j,0})$ differeNT froM the highest weight ${\mathcAl{Y}}_t$-mOnOMial $\TIlDe{Y}_{i,0}\tIlde{Y}_{j,0}$. WE HaVE For ExAmPle $M_1\nEQ \tIlde{Y}_{I,0}$, so $M_1$ is righT negative. LEt $l_1$ Be The maximal $l$ sUCh That a $\tilde{y}_{k,l}$ Appears in $m_1$. We HavE $u_{k,l}(m_1)<0$ aNd $L>0$. As $U_{K,l}(m_0)\geQ 0$ we Have $u_{K,l}(m_2)>0$ and $M_2\Neq {Y}_{j,0}$. SO $m_2$ is right NeGAtive aND there iS $K'\In i$ and $L'>l$ such that $u_{k',l'}(m_2)<0$. So $u_{K',L'}(m_1)>0$, COntradiction. So The higHeST wEIGht ${\MatHcal{Y}}_t$-monoMiAl of $F_T(\Tilde{Y}_{i,0})f_T(\tILDE{Y}_{j,0})$ IS the unique domInant ${\mathcaL{y}}_t$-mOnomiaL. IN thE Same waY the hIgHEst Weight ${\mathcAl{Y}}_t$-Monomial oF $F_t(\tilDE{Y}_{j,0})F_t(\tiLDe{Y}_{i,0})$ is tHe uniqUe dOmiNant ${\MAtHcAl{Y}}_T$-mONomIAl. but WE haVe $\tilde{Y}_{I,0}\tIlDe{Y}_{j,0}=\tIlde{y}_{J,0}\TILde{Y}_{I,0}$, so $f_t(\tiLde{Y}_{i,0})f_t(\tilde{Y}_{j,0})-F_t(\tiLde{y}_{j,0})F_t(\TIldE{Y}_{i,0})\in\MathfRak{K}_T^{\iNfty}$ hAs no doMinanT ${\mAthcal{Y}}_t$-monomiaL, so iS equal to $0$.

DEnoTe, For $L\iN{\mathBB{Z}}$, by $s_
}_{j,0})$. Suppose we have  a dominan t ${\ mat hca l{ Y}}_ t$-m onomial $m_0=m _ 1m_2 $ in $F_t(\tilde{Y}_{i ,0})F _t ( \til d e{ Y}_{j ,0})$ d i ff e r ent  f ro m t he hi ghest  we ight ${ \mathcal{Y }}_ t$ -monomial $\ t il de{Y}_{i,0 }\t ilde{Y}_{j,0 }$.  We ha ve  fo r  exam ple  $m_1 \neq \ t ilde{Y }_{i,0}$,  s o  $m_1$ is righ t ne gati ve. Let $l_1$ bet he maximal $l$ su ch tha ta  $ \ t ild e{Y }_{k,l}$ a pp earsi n $m_1$ .  W e h ave $u_{k,l}(m_1) <0$ and $l> 0 $.As $u_ {k ,l} ( m_0)\g eq 0$  w e  ha ve $u_{k,l} (m_2 )>0$ and$m_2\n e q {Y}_{ j ,0}$. S o $m_2 $ i s r ight ne ga tiv ea ndt he rei s $ k'\in I$  a nd  $l'> l$ s u c h that  $u _{k' ,l'}( m_2)<0$. So $ u_{ k',l ' }(m _1)>0 $, co ntra di ction . So t he hi gh est weight ${\m athc al{Y}}_t$ -mo no mia lof $F _ t(\til de{ Y}_ {i,0})F _t(\til d e{Y }_ { j , 0} )$ is the unique d om i n an t ${\mat hcal{Y } }_ t$ - monomial .Inthes a me wa y th e  h ighest w eight$ {\ ma thcal{Y }} _t$-mo no mia l o f $F_ t (\ti lde{Y} _{j,0})F _t(\t i lde{Y}_{i,0})$ is the unique do m i na n t ${ \ma thcal{Y}}_t $-mo n omia l. B u tweh ave $ \tild e{ Y }_ { i,0}\tilde{Y}_{j,0} =\ tilde{ Y}_{j ,0}\tilde{Y}_ {i,0}$, so $ F _t(\tild e{Y} _ {i , 0})F_t(\tilde{ Y}_{j ,0})-F_t(\ t ilde{Y}_ {j,0} )F_t(\ti lde{Y}_{i , 0 })\in\ma thf rak {K} _t^ { \ in fty}$ has nod o mina nt  ${\mat hca l{Y}}_t $-m ono mia l,so  is equal  to $0$. 
De no te , f or $l \ in{\math bb {Z} }$ , b y $s_ 
}_{j,0})$. Suppose_we have_a dominant ${\mathcal{Y}}_t$-monomial $m_0=m_1m_2$_in $F_t(\tilde{Y}_{i,0})F_t(\tilde{Y}_{j,0})$_different_from the_highest_weight ${\mathcal{Y}}_t$-monomial $\tilde{Y}_{i,0}\tilde{Y}_{j,0}$._We have for_example $m_1\neq \tilde{Y}_{i,0}$, so_$m_1$ is right_negative._Let $l_1$ be the maximal $l$ such that a $\tilde{Y}_{k,l}$ appears in $m_1$. We_have_$u_{k,l}(m_1)<0$ and_$l>0$._As_$u_{k,l}(m_0)\geq 0$ we have $u_{k,l}(m_2)>0$_and $m_2\neq {Y}_{j,0}$. So $m_2$_is right_negative and there is $k'\in I$ and $l'>l$_such_that $u_{k',l'}(m_2)<0$. So_$u_{k',l'}(m_1)>0$, contradiction. So the highest weight ${\mathcal{Y}}_t$-monomial of $F_t(\tilde{Y}_{i,0})F_t(\tilde{Y}_{j,0})$_is the unique dominant ${\mathcal{Y}}_t$-monomial. In_the same way_the_highest_weight ${\mathcal{Y}}_t$-monomial of $F_t(\tilde{Y}_{j,0})F_t(\tilde{Y}_{i,0})$_is the unique dominant ${\mathcal{Y}}_t$-monomial. But_we have $\tilde{Y}_{i,0}\tilde{Y}_{j,0}=\tilde{Y}_{j,0}\tilde{Y}_{i,0}$, so $F_t(\tilde{Y}_{i,0})F_t(\tilde{Y}_{j,0})-F_t(\tilde{Y}_{j,0})F_t(\tilde{Y}_{i,0})\in\mathfrak{K}_t^{\infty}$ has_no dominant ${\mathcal{Y}}_t$-monomial, so is equal to_$0$.

Denote, for $l\in{\mathbb{Z}}$, by $s_