納k=2,n] (k-1)
=納i=1,n-1] i

という変形が赤本にあったんですが
これは何かの公式ですか？