Por la relación obtenida arriba, tenemos que A es un homomorfismo,