theorem Th55: :: UPROOTS:58

for L being domRing
for x being Element of L
for n being Nat holds degree (BRoots (<%(- x),(1. L)%> `^ n)) = n