Completed factorization and prime factorization