for R being domRing
for B1, B2 being non zero bag of the carrier of R
for p being Ppoly of R,B1
for q being Ppoly of R,B2 holds p *' q is Ppoly of R,B1 + B2