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