prime factorization theorem