Oración 1: es suficiente mostrar que los valores propios de L(·,0) se encuentran en los ejes real e imaginario pues los de tipo I no dependen de η
Oración 2: por la observación anterior, si una de las ramas la expansión de Puiseux de λ(η) es localmente constante en (0,1] entonces es localmente constante en una vecindad de 0
Conector: en efecto,
Relación: entailment
Género: theses