theorem kercanhomI: :: RING_2:13

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