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