theorem lll: :: RING_5:59

for R being domRing
for p being Ppoly of R holds p is Ppoly of R, BRoots p