theorem BR5aaa: :: RING_5:35

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