factorial(6, 720).