unique factorization rings