Oración 1: entonces B es un k[x]-módulo finitamente generado
Oración 2: por la propiedad (i), B es Noetheriano
Conector: por lo tanto,
Relación: reasoning
Género: theses