Unique factorization

Summary