for R being domRing
for p being Polynomial of R
for x being Element of R holds
( eval (p,x) = 0. R iff rpoly (1,x) divides p )