Bourbaki marks this one as harder than the rest.
(a) 令p和q为两个整数⩾1,令n=2p+q,令E为集合和n元素,并令N=(pn)=(p+qn)。令(Xi)1⩽i⩽N(或(Yi)1⩽i⩽N)为E 的所有子集中的序列,其中p(或p+q)元素排列在某个序中。证明存在 [1,N] 的双射 φ,使得 Xφ(i)⊂Yi 对于所有 i。 (方法类似于§ 4的习题 6:观察对于集合Yj的每个r⩽N数,其中包含至少有X1、…之一, Xr 是 ⩾r。)
(b) 令h、k为两个整数⩾1,令n为整数,使得2h+k<n,令E为集合且n元素,并令(Xi)1⩽i⩽r是E的不同子集的序列,每个都有h元素。证明E的不同子集存在序列(Yj)1⩽j⩽r+1,每个h+k元素,使得每个Yj包含至少有一个Xi并且每个Xi包含在至少一个Yj中(由归纳于n,使用(a))。