Sum over k of n+k Choose m+2k by 2k Choose k by -1^k over k+1/Proof 2