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