这是一个更强的版本，但证明起来更简单。
A[1],……,A[n]都是有限集，这些集合的并集的元素都有一个对应的正整数。
满足：任意正整数i∈[1,n]，任取这些集合中的i个，这i个集合的并集的元素对应的数和不小于i
证明：可以在每个集合中取一个子单元集，对任意正整数i∈[1,n]，任取这些集合中的i个，这i个集合的对应的单元集的并集的元素对应正整数和不小于i
单元集就是只有一个元素的集合

变成一个图，将一个对应数为n的点拆成n个单点，然后hall定理。
其他做法？