Oración 1: como P es un punto ĺımite de FC, existe A ∈ C, tal que fA ∈ FC∩[σ], pero como el orden <A de A es lineal y n 6= m tenemos que n <A m o que m <A n
Oración 2: fA((n,m)) = 1 o fA(n,m) = 1, por lo que fA ∈/ [σ], lo que es contradictorio
Conector: por ende,
Relación: reasoning
Género: theses