代数证明 \binomnp + \binomnp+1 = \binomn+1p+1 。