theorem Th82: :: RING_3:83

for R being Ring holds
( Char R = 0 iff canHom_Int R is monomorphism )