theorem Th34: :: FIELD_1:33

for R being Ring
for S being b₁ -homomorphic Ring
for h being Homomorphism of R,S
for p being Element of the carrier of (Polynom-Ring R)
for a being Element of R st a is_a_root_of p holds
h . a is_a_root_of (PolyHom h) . p