Eso sólo puede ser cierto si todos los sumandos son cero, es decir, si formula_23 para todo k.