Proposition (Normalization of permutations). For any permutation p : X1,X,X2 Y we can find Y1,X,Y2 = Y and q : X1,X2 Y1,Y2 such that:
Back