Template:Basic permutation fact