已知n>k>1,k|n
X={1,2,……,n}
我们定义X的一个正规n/k划分，为X的n/k个互不相交的k元子集
证明：存在C(n-1,k-1)个正规n/k划分恰好遍历X的所有k元子集一次