awfryのプロフィール

問題「∑[u、k=1]k^4がu(u+1)を因数にもつことを証明せよ。」 解法としては、kについての恒等式 k(k+1)(k+2)(k+3)(k+4)-(k-1)k(k+1)(k+2)(k+3)=5k(k+1)(k+2)(k+3)が成り立つことを用い解いていくのですが、なぜこの恒等式が出てくるのかがわかりません。 わかる方お願いします