theorem lemacf: :: RING_5:57

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