theorem ll: :: FIELD_12:35

for R being Ring
for S being b₁ -homomorphic Ring
for T being b₁ -homomorphic b₂ -homomorphic Ring
for f being additive Function of R,S
for g being additive Function of S,T holds PolyHom (g * f) = (PolyHom g) * (PolyHom f)