theorem :: RING_3:87
for R being Ring
for S being b1 -homomorphic Ring holds Char S divides Char R