Oración 1: por tanto, formula_19 es una sucesión decreciente de enteros positivos, que eventualmente se vuelve constante
Oración 2: formula_9 es artiniano
Conector: en consecuencia
Relación: reasoning
Género: articles