まー
Σk^3={1/2n(n+1)}^2
から命題は簡単に出せそうだけど、数列をやってる人からはほとんど明らかで、
面倒くさいだけ。当たり前すぎて。