Number of Permutations/Corollary