Factorials and GCD (Greatest Common Divisor)