firstFactorial functional