theorem :: RING_3:85

for f being Homomorphism of INT.Ring,INT.Ring holds f = id INT.Ring