Egy $2n+1$-tagú társaság bármely $n$-tagú csoportjához van a társaságnak olyan a csoporthoz nem tartozó tagja, aki a csoport minden tagját ismeri. Az ismeretséget kölcsönösnek tételezzük fel. Bizonyítsuk be, hogy a társaságnak van olyan tagja, aki mindenkit ismer.