See also Carlson (2004).
If is any permutation of , then
For (22.6.22) and similar results, see Carlson (2004).
See §22.17.