theorem ThsepsplB: :: FIELD_15:68

for F being Field
for p being non zero Polynomial of F
for a being Element of F holds multiplicity ((NormPolynomial p),a) = multiplicity (p,a)