theorem ro4: :: RING_5:18

for R being non degenerated Ring
for a being Element of R holds Roots (rpoly (1,a)) = {a}