for R being domRing
for S being non empty finite Subset of R
for p being Ppoly of R,S
for a being Element of R st a in S holds
( rpoly (1,a) divides p & not (rpoly (1,a)) `^ 2 divides p )