Finite factorization domain