primeFactorization complete