prime_factorization