for F being Field
for p being non zero Element of the carrier of (Polynom-Ring F) holds
( p is monic iff NormPolynomial p = p )