theorem :: FIELD_1:23

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