uniqueness prime factorization proof