Oración 1: ahora bien, si x1 := F1(x) 6= F2(x) =: x2 sé por el teorema de existencia de Riemman que existe g ∈M(XQ) tal que g(x1) 6= g(x2) y por lo tanto F ∗1 (g) 6= F ∗2 (g)
Oración 2: lo que queríamos probar
Conector: esto es
Relación: entailment
Género: theses