Oración 1: entonces existe un vector propio y0 con K y0 6= 0
Oración 2: que la segunda componente de y1 es diferente de 0
Conector: es decir
Relación: entailment
Género: theses