for R being domRing
for a, b being Element of R st b <> a holds
multiplicity ((rpoly (1,a)),b) = 0