(Extensión de Homomorfismos)