Proposición C.4.1 (Propiedades de los Homomorfismos).