theorem :: FIELD_1:14

for R being Ring
for S being b₁ -homomorphic Ring
for h being Homomorphism of R,S holds h . (Sum (<*> the carrier of R)) = 0. S