theorem lll: :: RING_5:59
for R being domRing
for p being Ppoly of R holds p is Ppoly of R, BRoots p