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
eval (p,a) = 0. R