theorem np2: :: RING_4:26

for F being Field
for p, q being Element of the carrier of (Polynom-Ring F) holds
( q divides p iff q divides NormPolynomial p )