See also:
std-primep
std-prime-factorization
std-primes
factorial