The product n·(n1)·(n2)· ... ·3·2·1, is called the factorial of n, and is denoted by n! (read n-factorial). Thus n! is the nth factorial number. It is found convenient to define 0! = 1. The first few factorial numbers in base ten are: 1, 2, 6, 24, 120, 720, 5040, 40320, 362880, 3628800, ...
Theorem (The Permutation Principle): The number of ways of arranging n different things in sequence is n!. Proof: The first can be chosen in n ways, the second in n1 ways, the third in n2 ways and so on. Hence by the multiplication principle the total is the product of these ways.
Theorem (The Circular Permutation Principle): The number of ways of arranging n things round a circle that can be rotated but not reflected is (n1)! Proof: We can rotate the circle so that one thing is always in the same position. The others can then be arranged in (n1)! ways. Corollary: The number of ways of arranging n things round a circle that can be rotated or reflected is (n1)!|2, provided n>2. Proof: The arrangements in the previous result occur in pairs that are reflections of each other (except when n = 2 or less, in which case reflection makes no difference). If one is regarded as clockwise the other is anticlockwise.
Theorem (The Truncated Factorial Rule): The number of ways of choosing a sequence of m elements, all different, from a set of n elements is n!|(nm)!. Proof: The first element can be chosen in n ways, the second in (n1) ways, and so on until we reach the mth element which can be chosen in (n+1)m ways. The product of these is n·(n1)·(n2)· ... as far as (n+1)m. This is n! with the remaining terms cancelled, and can thus be expressed by the quotient n!|(nm)!.
Theorem (The Principle of Divided Factorials): The number of ways of arranging n things in a row when there are a alike of one kind, b of a second kind, c of a third kind is n!|(a!·b!·c!· ...) Proof: If the things were all different the number of arrangements would be n! However, if a of the things are alike they can be permuted among themselves in a! ways without altering the positions of the other things. Corollary: The number of ways of arranging n things in sets of a, b, c ... things (where of course n = a+b+c+...) is n!|(a!·b!·c!· ...).
Every three successive numbers contain 2 and 3 therefore (3·k)! has a factor of 6^k (so in base 6 has k zeros at the end).
Divisibility: The product of r consecutive numbers is divisible by r!.