theorem :: RING_3:52
for R being Ring
for E being b1 -homomorphic Ring
for K being Subring of R holds E is K -homomorphic