Sum over k of r Choose m+k by s Choose n+k/Proof 1