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