theorem llll: :: RING_5:37

for R being domRing
for p being non zero Polynomial of R
for b being non zero Element of R holds BRoots (b * p) = BRoots p