Oración 1: ∫ Note que siλ< 0 entonces el operador C Fλ+id−Fλ es invertible con inversa T = λ 1m− µ dFµ+ id−Fλ
Oración 2: (∫ λ )(∫ λ ) (C Fλ+ id−Fλ)T = ∫ µdFµ+ 1 id−F dF − λ − µ + id−Fλ m m µ λ = 1dFµ+ id−Fλ m− = Fλ+ id−Fλ = id y T (C Fλ+ id−Fλ) = id
Conector: en efecto,
Relación: entailment
Género: theses