for R being domRing
for p being non zero non with_roots Polynomial of R holds BRoots p = EmptyBag the carrier of R