for R being Ring
for I being Ideal of R holds ker (canHom I) = I