What is unique factorization property