for R being domRing
for B being non zero bag of the carrier of R
for p being Ppoly of R,B
for a being Element of R st a in support B holds
eval (p,a) = 0. R