toPrimeFactorization