∑i=1ni[k∣i]⟶∑ik=1nik\sum\limits^{n}_{i=1}i[k|i]\longrightarrow\sum\limits^n_{ik=1}iki=1∑ni[k∣i]⟶ik=1∑nik