组合数的两个性质