Oración 1: esto implica que β ∈ LE y que K −E = Inf (K −E,Kβ·ω)
Oración 2: : λ ◦ µ ◦ Γ βK−E,K−E = λ ◦ ΓK+div(β),K ◦ ΓK−E,K+div(β) λ ◦ µ = Concluimos que µ = ΓβK+div(β),K ◦ ΓK−E,K+div(β) = U(β)
Conector: por lo tanto
Relación: reasoning
Género: theses