theorem Th27: :: FIELD_1:26

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 b being Element of R holds (PolyHom h) . (b * p) = (h . b) * ((PolyHom h) . p)