for R being domRing
for B being non zero bag of the carrier of R
for p being Ppoly of R,B holds BRoots p = B