theorem F815: :: FIELD_12:2

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 (PolyHom h) . (- p) = - ((PolyHom h) . p)