Por definición, formula_16, para formula_17 el primer término de la suma desaparece y obtenemos formula_18, luego recordemos que formula_19, para formula_20.