A_i 的每个元素还属于另一个集合。任意一个固定的其他集合至多含有 A_i 的一个元素，而其他集合共有 2n 个；由于 A_i 有 2n 个元素，所以每个其他集合恰含一个。因此每个元素恰好属于两个集合。