theorem Th83: :: RING_3:84

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