dos homomorfismos es un homomorfismo.