Factorial simplification