Dejarf:En→E1 ser de claseCD2 en algunosG=G→p(δ). Supongamosdf(→p;⋅)=0 enEn. Definir elAk as en (4), con\(a_{i j}=D_{i j} ...Dejarf:En→E1 ser de claseCD2 en algunosG=G→p(δ). Supongamosdf(→p;⋅)=0 enEn. Definir elAk as en (4), conaij=Dijf(→p),i,j,k≤n Entonces se mantienen las siguientes declaraciones.