8.3 Factorial Identities