标签: 插板法 杨辉三角 容斥原理