查看原题
设整数 $n>k \geq 1$, 质数 $p \mid \mathrm{C}_n^k$. 求证: 可以将 $\{1,2, \cdots, n\}$ 的所有 $k$ 元子集分成 $p$ 个类, 每类中的子集个数相同, 且元素和相等的两个子集属于同一类.
                        
不再提醒