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: encontramos que lD < ∞
Conector: por lo tanto,
Relación: reasoning
Género: theses