theorem :: RING_5:42

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