theorem :: RING_3:87

for R being Ring
for S being b₁ -homomorphic Ring holds Char S divides Char R