for R being domRing
for a being Element of R holds rpoly (1,a) is Ppoly of R, Bag {a}