Rozważ dowolną rodzinę podzbiorów zbioru n-elementowego zawierającego więcej niż Kajetan: Rozważ dowolną rodzinę podzbiorów zbioru n−elementowego zawierającego więcej niż połowę wszystkich podzbiorów. Wykaż, że w tej rodzinie muszą być dwa zbiory takie, że jeden zawiera się w drugim.