for F being F_Rat -homomorphic 0 -characteristic Field
for f being Homomorphism of F_Rat,F holds f = canHom_Rat F