Let R be an infinite unique factorization domain with at most finitely many units. We discuss the infinitude of prime elements in R when R is arbitrary and when R satisfies the following property: if f and g are polynomials ...