KHI ĐÓ VỚI MỌI 3 TẬP TRONG 15 TẬP CON NÀY, SẼ CÓ HAI TẬP HOẶC THUỘC...
3. Khi đó với mọi 3 tập trong 15 tập con này, sẽ có hai tập hoặc thuộc họ A
i, hoặc thuộc họ B
j. Do
đó giao của ba tập này bằng rỗng. Với 7 tập tùy ý trong 15 tập con trên, giả sử là
A
i1
, A
i2
, . . . , A
is
, B
j1
, B
j2
, . . . , B
jt
, s + t = 7
ta có
| A
i1
∪ A
i2
∪ . . . ∪ A
is
∪ B
j1
∪ B
j2
∪ . . . ∪ B
jt
|
= | A
i1
| + ··· + | A
is
| + | B
j1
| + ··· + | B
jt