Oración 1: considere la aplicación: ϕ : Homk̄ (∆K−E, ∆K) −→ ∆∗K−E µ −→ λ ◦ µ Afirmamos que ϕ es un isomorfismo
Oración 2: es fácil ver que es un homomorfismo
Conector: en efecto,
Relación: entailment
Género: theses