for R being Ring
for f being Homomorphism of INT.Ring,R holds f = canHom_Int R