Oración 1: por otro lado es sobreyectiva
Oración 2: sea µ ∈ Homk̄ (∆K−E,∆K)
Conector: en efecto,
Relación: entailment
Género: theses