>>802 {σ(i_1),...,σ(i_r)}に対しては
στσ^-1(σ(i_n))=σ(i_(n+1))
その他の元に関してはσ^(-1)(x)ってのは{i_1,...,i_r}
に属さないからτで移らずσでもとの場所に戻される（σは全単車
よってστσ^-1ってのは(σ(i_1),...,σ(i_r))に等しい。