若 p≤np≤np≤n,怎么证明
∑k=pn(−1)kCnkCkp∈{−1,0,1}\sum\limits_{k=p}^n(-1)^k\mathrm{C}_n^k\mathrm{C}_k^p∈\{-1,0,1\}k=p∑n(−1)kCnkCkp∈{−1,0,1}
