\input amstex \sum_{k=0}^{m} \binom{n-k}{m-k}=\binom{n+1}{m}.