  We generalize the analog of Buchberger's first criterion, stated by Boulier
et al., for detecting useless S-polynomials reductions in the computation of
characteristic sets of differential ideals. The original version assumes linear
polynomials; this result is here extended to a product of linear differential
polynomials depending of the same arbitrary differential polynomial.
