theorem Th81: :: RING_3:82

for R being Ring
for n being non negative Element of INT.Ring holds
( Char R = n iff ker (canHom_Int R) = {n} -Ideal )