theorem Th48: :: RING_3:49

for R being Ring
for E being b₁ -homomorphic Ring
for K being Subring of R
for f being Function of R,E
for g being Function of K,E st g = f | the carrier of K & f is additive holds
g is additive