Oración 1: en efecto por las Propiedades 4.4.2 B es un k̄[α]-módulo finitamente generado
Oración 2: gracias a la igualdad: [Rν/Mν : k̄] = [B/M : k̄] = [B/M : k̄[α]/P ][k̄[α]/P : k̄] tenemos el resultado
Conector: por lo tanto
Relación: reasoning
Género: theses