theorem :: RING_3:100

for f being Homomorphism of F_Rat,F_Rat holds f = id F_Rat