theorem Th54: :: UPROOTS:57

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