Por lo que "F" no es exhaustiva (suprayectiva) y por tanto no es un automorfismo.