Considérons familles disjointes de sous-ensembles de {1,2,…, n}, F 1 , F 2 , … F t .tttF1, F2, … FtF1,F2,…Ft{\cal F}_1,{\cal F_2},\dots {\cal F_t} Supposer que (*) Pour chaque et chaque R ∈ F i , et T ∈ F k , il existe S ∈ F j qui contient R ∩ T .je < j < ki<j<ki \lt j \lt kR ∈ FjeR∈FiR...