组合数的两个性质一