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