Oración 1: entonces E = span{F, x} es también G-no negativo
Oración 2: si y = f +αx para f ∈ F,α ∈C entonces [y, y] = [ f +αx, f +αx] = [ f, f ]+|α|2[x, x] Ê 0 pues [ f, x] = 0
Conector: en efecto,
Relación: entailment
Género: theses