another prime_factorize