Polynomial Rings over UFDs in Many Variables