theorem uu5: :: FIELD_8:16

for F1 being Field
for F2 being b₁ -homomorphic b₁ -monomorphic Field
for h being Monomorphism of F1,F2
for p being Element of the carrier of (Polynom-Ring F1) holds NormPolynomial ((PolyHom h) . p) = (PolyHom h) . (NormPolynomial p)