represented in one and only one way because the sum of respective factorials multiplied by the index is always the next factorial minus one:

There is a natural mapping between the integers 0, ..., n! − 1 and permutations of n elements in lexicographic order, which uses the factorial representation of the integer, followed by an interpretation as a Lehmer code.

The above equation is a particular case of the following general rule

1.Previous
3.Next