\{i+1\})\cup\{i\}$.

Hence we find that $s_i{\cal C}(\mathbb{M},\sigma,\mathbb{F})$ is moved to ${\cal C}(\mathbb{M}',\sigma,\mathbb{F})$, a crank form expression. In particular this expression again becomes the standard expression, unless $k = j+1$, $t(M_j) = t(M_{j+1})$, and $i = \min M_j$, $i+1 = \min M_{j+1}$.

If ${\cal C}(\mathbb{M},\sigma,\mathbb{F})$ is the standard expression of a seat-plan $w$, then $f{\cal C}(\mathbb{M},\sigma,\mathbb{F})$ is moved to a crank form expression of $fw$.

First consider the case $\{1, 2\}\subset M_k$ for some $k$. In this case, there exists an integer $i$ such that $i = x^{-1}_{\overline{\mathbb{M}}}(1)$ and $i+1 = x^{-1}_{\overline{\mathbb{M}}}(2)$. Hence in this case we have $fx_{\overline{\mathbb{M}}} = x_{\overline{\mathbb{M}}}f_i$ and $f_i{\cal C}_{\mathbb{M}}[k] = {\cal C}_{\mathbb{M}}[k]$. Thus we obtain $f{\cal C}(\mathbb{M}, \sigma, \mathbb{F})
= {\cal C}(\mathbb{M}, \sigma, \mathbb{F})$.

Next consider the case $1\in M_j$ and $2\in M_k$ ($j\neq k$). In the following we assume that $M_j$ and $M_k$ are both propagating. Even if either $M_j$ or $M_k$ or both of them are defective, the similar proof will hold. Proposition \[prop:normalize\] implies that the standard expression ${\cal C}(\mathbb{M}, \sigma, \mathbb{F})$ is moved to a crank form expression ${\cal C}(\mathbb{M}', id, \mathbb{F}')$ so that the first and the second components of $\mathbb{M}'$ are $M_j$ and $M_k$ respectively and the first and the second components of $\mathbb{F}'$ are jointed to $M_j$
\{i+1\})\cup\{i\}$. 

 Hence we find that $ s_i{\cal C}(\mathbb{M},\sigma,\mathbb{F})$ is moved to $ { \cal C}(\mathbb{M}',\sigma,\mathbb{F})$, a crank human body formula. In particular this expression again becomes the standard formulation, unless $ k = j+1 $, $ t(M_j) = t(M_{j+1})$, and $ i = \min M_j$, $ i+1 = \min M_{j+1}$. 

 If $ { \cal C}(\mathbb{M},\sigma,\mathbb{F})$ is the standard expression of a buttocks - plan $ w$, then $ f{\cal C}(\mathbb{M},\sigma,\mathbb{F})$ is moved to a crank kind expression of $ fw$. 

 First regard the case $ \{1, 2\}\subset M_k$ for some $ k$. In this case, there exist an integer $ i$ such that $ i = x^{-1}_{\overline{\mathbb{M}}}(1)$ and $ i+1 = x^{-1}_{\overline{\mathbb{M}}}(2)$. therefore in this case we have $ fx_{\overline{\mathbb{M } } } = x_{\overline{\mathbb{M}}}f_i$ and $ f_i{\cal C}_{\mathbb{M}}[k ] = { \cal C}_{\mathbb{M}}[k]$. therefore we obtain $ f{\cal C}(\mathbb{M }, \sigma, \mathbb{F }) 
 = { \cal C}(\mathbb{M }, \sigma, \mathbb{F})$. 

 Next study the case $ 1\in M_j$ and $ 2\in M_k$ ($ j\neq k$). In the following we assume that $ M_j$ and $ M_k$ are both propagating. Even if either $ M_j$ or $ M_k$ or both of them are bad, the similar proof will accommodate. proposal   \[prop: normalize\ ] implies that the standard construction $ { \cal C}(\mathbb{M }, \sigma, \mathbb{F})$ is moved to a crank form formula $ { \cal C}(\mathbb{M }', i d, \mathbb{F}')$ so that the first and the second components of $ \mathbb{M}'$ are $ M_j$ and $ M_k$ respectively and the first and the second components of $ \mathbb{F}'$ are jointed to $ M_j$
\{i+1\})\cuo\{i\}$.

Hence we find that $s_i{\cxl C}(\mathbb{M},\sigmc,\nathbb{H})$ is mobed to ${\cxl C}(\mathbb{M}',\sigma,\mathbb{F})$, a crenk dorm tqpression. In particulxr this eqpression agamn becomes the svzndard crpresalon, uulxss $k = j+1$, $t(M_j) = t(K_{j+1})$, and $i = \kin M_j$, $i+1 = \min K_{j+1}$.

Kf ${\cal C}(\mathbb{M},\sigma,\mathbb{F})$ is the stwndard rxoression of a feat-klag $w$, fhen $f{\cal C}(\mathbb{M},\sigma,\mathbb{F})$ is joved tm a crank fork expression of $fw$.

First cojsidfr the case $\{1, 2\}\subseh M_k$ for sone $k$. Un this case, there exists an integgr $i$ such that $i = x^{-1}_{\overline{\mathbc{M}}}(1)$ anb $i+1 = x^{-1}_{\overlunw{\mahvbb{M}}}(2)$. Hence mn thif case we hayv $fx_{\ovesline{\mayhbb{M}}} = x_{\overlike{\matibb{M}}}d_i$ and $f_i{\cal C}_{\mathbb{M}}[n] = {\cal C}_{\mathbb{M}}[k]$. Trus we obdann $f{\cal C}(\mathbb{M}, \sigmq, \nathbt{F})
= {\cdl C}(\oqthcb{M}, \smgmz, \mathhb{F})$.

Iext considsr the case $1\in M_j$ and $2\in M_k$ ($j\ntq h$). In the follosing wq wssume that $M_j$ and $M_k$ are both propagatpng. Sven if either $M_j$ or $M_k$ or both of them are fefective, the similar proof will hold. Proposition \[prop:normanize\] mmolits that rhf standard expression ${\cal C}(\mathbb{M}, \sigma, \mathfg{F})$ ix moved to a cvank form expressipn ${\csj C}(\mathbb{M}', id, \mathby{R}')$ ao that the first wnd the secobd compontnts pf $\mathbb{M}'$ are $M_j$ and $M_k$ rewpectively aud rhe first and the decond compunenjs of $\kathbb{F}'$ are jointed to $O_j$
\{i+1\})\cup\{i\}$. Hence we find that $s_i{\cal C}(\mathbb{M},\sigma,\mathbb{F})$ to C}(\mathbb{M}',\sigma,\mathbb{F})$, a form expression. In the expression, unless $k j+1$, $t(M_j) = and $i = \min M_j$, $i+1 \min M_{j+1}$. If ${\cal C}(\mathbb{M},\sigma,\mathbb{F})$ is the standard expression of a seat-plan $w$, $f{\cal C}(\mathbb{M},\sigma,\mathbb{F})$ is moved to a crank form expression of $fw$. First consider case 2\}\subset for $k$. In this case, there exists an integer $i$ such that $i = x^{-1}_{\overline{\mathbb{M}}}(1)$ and $i+1 x^{-1}_{\overline{\mathbb{M}}}(2)$. Hence in this case we have $fx_{\overline{\mathbb{M}}} x_{\overline{\mathbb{M}}}f_i$ and $f_i{\cal C}_{\mathbb{M}}[k] {\cal C}_{\mathbb{M}}[k]$. Thus we obtain C}(\mathbb{M}, \mathbb{F}) = C}(\mathbb{M}, \mathbb{F})$. consider the case M_j$ and $2\in M_k$ ($j\neq k$). In the following we assume that $M_j$ and $M_k$ are both Even if or $M_k$ both them defective, the similar hold. Proposition \[prop:normalize\] implies that the C}(\mathbb{M}, \sigma, \mathbb{F})$ is moved to a crank expression ${\cal id, \mathbb{F}')$ so that the first the second components of $\mathbb{M}'$ are $M_j$ and respectively and the first and the second components of $\mathbb{F}'$ are jointed to $M_j$
\{i+1\})\cup\{i\}$.

Hence we find that $s_i{\cal c}(\mathbb{M},\siGma,\maThbB{F})$ iS mOved To ${\caL C}(\mathbb{M}',\sigma,\MAthbB{F})$, a crank form expression. in parTiCUlar THiS exprEssion aGAiN BEcoMeS tHe sTaNDaRd expResSion, unlEss $k = j+1$, $t(M_j) = t(M_{J+1})$, anD $i = \Min M_j$, $i+1 = \min M_{j+1}$.

IF ${\CaL C}(\mathbb{M},\sIgmA,\mathbb{F})$ is thE stAndard ExPreSSion oF a sEat-plAn $w$, theN $F{\cal C}(\mAthbb{M},\sigMa,\MAthbb{F})$ IS moved tO A CrAnk fOrm expression of $fw$.

fIrST consider the caSe $\{1, 2\}\subsEt m_K$ fOR SomE $k$. IN this case, tHeRe exiSTs an intEGeR $I$ SUch THat $i = x^{-1}_{\overline{\Mathbb{M}}}(1)$ and $i+1 = X^{-1}_{\OveRline{\mAtHbb{m}}}(2)$. hence iN this CaSE we Have $fx_{\overlIne{\mAthbb{M}}} = x_{\ovErline{\MAthbb{M}}}f_I$ And $f_i{\caL C}_{\mathBb{M}}[K] = {\caL C}_{\maTHbB{M}}[K]$. ThUs WE obTAiN $f{\cAL C}(\mAthbb{M}, \siGmA, \mAthbb{f})
= {\cal c}(\MATHbb{M}, \SigMa, \maThbb{F})$.

next consider tHe cAse $1\iN m_j$ aNd $2\in M_K$ ($j\neq K$). In tHe FolloWing we AssumE tHat $M_j$ and $M_k$ are boTh prOpagating. eveN iF eiThEr $M_j$ oR $m_k$ or boTh oF thEm are deFective, THe sImILAR pRoof will hold. ProposItION \[pRop:normaLize\] imPLiEs THat the stAnDarD expRESsion ${\Cal C}(\MAtHbb{M}, \sigmA, \mathbB{f})$ iS mOved to a CrAnk forM eXprEssIon ${\caL c}(\matHbb{M}', id, \Mathbb{F}')$ sO that THe first and the sECond componentS Of $\MAThBB{M}'$ arE $M_j$ And $M_k$ respecTiveLY and The fIRsT anD The seCond cOmPOnENts of $\mathbb{F}'$ are joinTeD to $M_j$
\{i+1\})\cup\{i\}$.

Hence  we find t hat $ s_i {\c al  C}( \mat hbb{M},\sigma, \ math bb{F})$ is moved to ${ \calC} ( \mat h bb {M}', \sigma, \ ma t h bb{ F} )$ , a  c r an k for m e xpressi on. In par tic ul ar this expr e ss ion againbec omes the sta nda rd exp re ssi o n, un les s $k= j+1$ ,  $t(M_ j) = t(M_ {j + 1})$,a nd $i = \ mi n M_ j$, $i+1 = \min M _ {j + 1}$.

If ${\ca l C}(\ ma t hb b { M}, \si gma,\mathb b{ F})$i s the s t an d a r d e x pression of a  seat-plan$ w$,  then$f {\c a l C}(\ mathb b{ M },\ sigma,\math bb{F })$ is mo ved to a crank form ex pressi onof$fw$ . 
Fi rst  c o nsi d er  th e  ca se $\{1,  2 \} \subs et M _ k $ forsom e $k $. In  this case, t her e ex i sts  an i ntege r $i $suchthat $ i = x ^{ -1}_{\overline{ \mat hbb{M}}}( 1)$  a nd$i +1 =x ^{-1}_ {\o ver line{\m athbb{M } }}( 2) $ . He nce in this case w eh a ve  $fx_{\o verlin e {\ ma t hbb{M}}}  =  x_ {\ov e r line{ \mat h bb {M}}}f_i $ and$ f_ i{ \cal C} _{ \mathb b{ M}} [k]  = {\ c al C }_{\ma thbb{M}} [k]$. Thus we obtain $f{\cal C}(\m a th b b {M } , \s igm a, \mathbb{ F})=  {\c al C } (\ mat h bb{M} , \si gm a ,\ mathbb{F})$.

Nextco nsider  thecase $1\in M_ j$ and $2\ i n M_k$ ($j \neq k$ ) . In the follo wingwe assumet hat $M_j $ and  $M_k$ a re both p r o pagating . E ven  if  ei t h er  $M_j$ or $M_ k $  orbo th of t hem  are de fec tiv e,the  s imilar pr oof will  h ol d.  P rop ositi o n \[prop :n orm al ize \] im p lies t hat t he s ta nd a rdexpress i on $ {\ca lC} (\ma thb b{ M}, \ sigm a , \ mathbb{ F})$ is m ove d  toacr ank for m expression${ \cal C}(\m at hbb {M}',i d , \mathb b{F}')$ so that the fir s t and t hesecon d co mponentsof$\math bb{ M }'$ ar e $M_j $ and  $ M_k $ respe c t iv ely  a nd the fir s t  an d the  s econ d compo nents of $\mathbb{ F }'$  are jointedto$M_j $ 
\{i+1\})\cup\{i\}$.

Hence we_find that_$s_i{\cal C}(\mathbb{M},\sigma,\mathbb{F})$ is moved_to ${\cal_C}(\mathbb{M}',\sigma,\mathbb{F})$,_a crank_form_expression. In particular_this expression again_becomes the standard expression,_unless $k =_j+1$,_$t(M_j) = t(M_{j+1})$, and $i = \min M_j$, $i+1 = \min M_{j+1}$.

If ${\cal C}(\mathbb{M},\sigma,\mathbb{F})$_is_the standard_expression_of_a seat-plan $w$, then $f{\cal_C}(\mathbb{M},\sigma,\mathbb{F})$ is moved to a_crank form_expression of $fw$.

First consider the case $\{1, 2\}\subset_M_k$_for some $k$._In this case, there exists an integer $i$ such_that $i = x^{-1}_{\overline{\mathbb{M}}}(1)$ and $i+1_= x^{-1}_{\overline{\mathbb{M}}}(2)$. Hence_in_this_case we have $fx_{\overline{\mathbb{M}}}_= x_{\overline{\mathbb{M}}}f_i$ and $f_i{\cal C}_{\mathbb{M}}[k] =_{\cal C}_{\mathbb{M}}[k]$. Thus we obtain $f{\cal_C}(\mathbb{M}, \sigma, \mathbb{F})
= {\cal C}(\mathbb{M}, \sigma, \mathbb{F})$.

Next_consider the case $1\in M_j$ and_$2\in M_k$ ($j\neq k$). In_the following_we assume that $M_j$ and_$M_k$ are both_propagating. Even_if either $M_j$_or $M_k$ or both of them_are defective, the_similar proof will hold. Proposition \[prop:normalize\] implies_that_the standard expression_${\cal_C}(\mathbb{M},_\sigma, \mathbb{F})$_is moved to_a_crank form_expression_${\cal C}(\mathbb{M}', id, \mathbb{F}')$ so that_the_first and the second components of $\mathbb{M}'$_are $M_j$ and $M_k$_respectively_and the first and_the second components of $\mathbb{F}'$_are jointed to $M_j$