Unique factorization