for L being domRing
for p being non-zero Polynomial of L st len p = 1 holds
degree (BRoots p) = 0