RE: prime factorization