Oración 1: por la Proposición 5.1.3 tenemos que dim LP ′/LPk̄ D D = (ordP (D ′) − ordP (D))deg(P )
Oración 2: como Ker(γΥ ′) = ⊕ LP ′/LPD,D P D D, tenemos que: ∑ dim Υ ′k̄(Ker(γD,D′)) = (ordP (D )− ordP (D))deg(P ) Sop(D)∪Sop(D′) = deg(D′)− deg(D) Usando este resultado y la Proposición 5.2.4 terminamos la demostración
Conector: por lo tanto,
Relación: reasoning
Género: theses