Oración 1: luego existe una constante α que depende de a,b,c,d tal que t Éα
Oración 2: ‖x2‖ Éα‖x1‖ y por lo 48 tanto x2 está totalmente determinado por x1
Conector: esto es,
Relación: entailment
Género: theses