Oración 1: al ser R noetheriano, por el lema previo los conjuntos Jk son finitamente generados como SB-módulos
Oración 2: los cocientes Jk/Jk+1 son módulos finitamente generados sobre SB/J1 = R/I1 ⊗R SB ∼= (R/I1)((x;σ))
Conector: por lo tanto
Relación: reasoning
Género: books