Entonces, f es trivialmente un homomorfismo de anillos.