previous one was wrong, this seems better.
previous one was still not right.  This finally is.  But there is one missing step, which is basically a (well obscured) theorem about composition of permutations