Finite permutation group/Cardinality/Fact/Proof

Proof

Let . For , there are possible images, for , there are possible images remaining, for , there are possible images remaining, etc. Therefore, there are altogether

possible permutations.