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