Oración 1: es decir que 〈G Ax, x〉 = [Ax, x] Ê 0
Oración 2: 〈G Ax, x〉 ∈R y por lo tanto G A es autoadjunto
Conector: en particular
Relación: entailment
Género: theses