theorem Th51: :: UPROOTS:54

for L being domRing
for x being Element of L holds BRoots <%(- x),(1. L)%> = ({x},1) -bag