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