theorem Th23: :: FIELD_1:22

for R being Ring
for S being b₁ -homomorphic Ring
for h being Homomorphism of R,S holds (PolyHom h) . (0_. R) = 0_. S