theorem :: RING_5:65

for R being domRing
for p being non zero Polynomial of R holds card (Roots p) <= card (BRoots p)