Dans chaque terme a_s(1)1 ... a_s(n)n, les facteurs a_ij sont rangés suivant les j croissants et i = s(j). On a donc j = s ^-1 (i). Rangeons ces facteurs suivants les valeurs croissantes de i. On obtient en utilisant e_s = e_s^-1.