Bounded factorization domain