Oración 1: considere el orden lineal <A sobre A0 dado por f−1(<F ↾f(A )), aśı0 A = (A0, <A) ∈ K, pues A es isomorfa a una subestructura finitamente generada de F
Oración 2: como A ↾L = A0 se tiene que A0 0 ∈ K0
Conector: por lo tanto,
Relación: reasoning
Género: theses