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