theorem Th97: :: RING_3:98

for F being Field holds canHom_Int F = (canHom_Rat F) | INT