Oración 1: por otro fM/P también lo es
Oración 2: por las Propiedades 4.4.2 B es un k̄[α]-módulo finitamente generado
Conector: en efecto
Relación: entailment
Género: theses