Oración 1: por este último resultado, tenemos que formula_110 y, por el lema de unicidad, que formula_111
Oración 2: tenemos que formula_112, que es lo que queríamos demostrar
Conector: por tanto,
Relación: reasoning
Género: articles