theorem Th49: :: RING_3:50

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 multiplicative holds
g is multiplicative