http://dientuvietnam.net/cgi-bin/mimetex.cgi?\{i;j\} là tập con của một tập nào đó trong http://dientuvietnam...n/mimetex.cgi?n tập đã cho. Chứng minh rằng mỗi số http://dientuvietnam...n/mimetex.cgi?2 tập http://dientuvietnam...imetex.cgi?P_i.
Có tập [TeX]S=\{1,2,..,n\}[/TeX] và [TeX]P_1;P_2;..;P_n[/TeX] là các tập con có 2 phần tử của [TeX]S[/TeX] thỏa mãn điều kiện : [TeX]|P_i\cap P_j|=1 \Leftrightarrow [/TeX] [TeX]\{i;j\}[/TeX] là tập con của một tập nào đó trong [TeX]n[/TeX] tập đã cho. Chứng minh rằng mỗi số [TeX]1, 2, ..., n[/TeX] thuộc đúng trong [TeX]2[/TeX] tập [TeX]P_i[/TeX].