for R being domRing
for S being non empty finite Subset of R
for p being Ppoly of R,S holds Roots p = S