for R being domRing
for a being Element of R holds multiplicity ((rpoly (1,a)),a) = 1