theorem bag2: :: RING_5:40

for R being domRing
for a being Element of R holds card (BRoots (rpoly (1,a))) = 1