See also:

std-primep
std-prime-factorization
std-primes
factorial