Esto demuestra que "F" es un homomorfismo de anillos.