theorem :: RING_3:52

for R being Ring
for E being b₁ -homomorphic Ring
for K being Subring of R holds E is K -homomorphic