Oración 1: (b ⇒ c) Por el lema 2.39, se puede definir una familia seudorresolvente R(λ)x := ĺım R(λ; A →∞ n )x n para λ ∈ C con ℜλ > 0, y se tiene, por el teorema 2.35, ∥λR(λ)x∥ = ĺım ∥λR(λ; An)x∥ ≤ M∥x∥, n→∞ para todo λ > 0
Oración 2: esto se cumple con cualquier sucesión (λn)n∈N no acotada (por ejemplo λn := n)
Conector: en particular
Relación: entailment
Género: theses