Oración 1: como D−P < D por la Proposición 5.2.5 tenemos que: 0 ≤ dimk̄(Ker(ΓD−P,P )) = deg(D)− deg(D − P )− dimk̄(LD/LD−P ) Por hipótesis de inducción lD−P < ∞
Oración 2: por las Propiedades 4.4.2 B es un k̄[α]-módulo finitamente generado
Relación: neutral